| |
Science of Computer Programming, Vol. 51, No. 1-2. (May 2004), pp. 23-45.
|
| |
Software and Systems Modeling (SoSyM) (August 2004), pp. 235-253.
|
| |
Computer Aided Verification (2004), pp. 466-469.
|
| |
Software Engineering, 2004. ICSE 2004. Proceedings. 26th International Conference on In Software Engineering, 2004. ICSE 2004. Proceedings. 26th International Conference on (2004), pp. 86-95.
|
| |
Program Comprehension, 2004. Proceedings. 12th IEEE International Workshop on In Program Comprehension, 2004. Proceedings. 12th IEEE International Workshop on (2004), pp. 46-51.
|
| |
In ACSC '04: Proceedings of the 27th Australasian conference on Computer science (2004), pp. 83-88.
|
| |
Formal Methods and Software Engineering (2004), pp. 418-433.
|
| |
Science in China Series F: Information Sciences, Vol. 47, No. 4. (2004), pp. 437-457.
|
| |
Software Architecture, 2004. WICSA 2004. Proceedings. Fourth Working IEEE/IFIP Conference on In Software Architecture, 2004. WICSA 2004. Proceedings. Fourth Working IEEE/IFIP Conference on (2004), pp. 5-14.
|
| |
Asian Journal of Control, Vol. 6, No. 2. (2004), pp. 242-252.
|
| |
Software Engineering and Formal Methods, 2004. SEFM 2004. Proceedings of the Second International Conference on In Software Engineering and Formal Methods, 2004. SEFM 2004. Proceedings of the Second International Conference on (2004), pp. 188-197.
|
| |
icse, Vol. 0 (2004), pp. 533-542.
|
| |
> 2004 - The Unified Modelling Language (2004), pp. 84-97.
|
| |
> 2004 - The Unified Modelling Language (2004), pp. 290-304.
|
| |
> 2004 - The Unified Modelling Language (2004), pp. 275-289.
|
| |
> 2004 - The Unified Modelling Language (2004), pp. 212-225.
|
| |
> 2004 - The Unified Modelling Language (2004), pp. 113-127.
|
| |
In SEFM (2004), pp. 96-102.
|
| |
Algebraic Methodology and Software Technology (2004), pp. 506-520.
|
| |
Algebraic Methodology and Software Technology (2004), pp. 87-101.
|
| |
|
| |
|
| |
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Workshop on the Compositional Verification of UML Models (CVUML), Vol. 101 (1 November 2004), pp. 129-153.
|
| |
> 2004 - The Unified Modelling Language (2004), pp. 173-187.
|
| |
Software Architecture (2004), pp. 230-240.
|
| |
Software Architecture (2004), pp. 219-224.
|
| |
Software Architecture (2004), pp. 200-205.
|
| |
Software Architecture (2004), pp. 194-199.
|
| |
Software Architecture (2004), pp. 241-249.
|
| |
Software Architecture (2004), pp. 88-102.
|
| |
Software Architecture (2004), pp. 74-87.
|
| |
Euromicro Conference, 2004. Proceedings. 30th In Euromicro Conference, 2004. Proceedings. 30th (2004), pp. 136-143.
|
| |
Software Reuse: Methods, Techniques and Tools (2004), pp. 115-126.
|
| |
Fundamental Approaches to Software Engineering (2004), pp. 69-83.
|
| |
Software Engineering Conference, 2004. Proceedings. 2004 Australian In Software Engineering Conference, 2004. Proceedings. 2004 Australian (2004), pp. 77-86.
|
| |
Graph Transformations (2004), pp. 319-335.
|
| |
RoboCup 2003: Robot Soccer World Cup VII (2004), pp. 145-156.
|
| |
Objects, Agents, and Features (2004), pp. 81-97.
|
| |
Building the Information Society (2004), pp. 613-619.
|
| |
Building the Information Society (2004), pp. 629-636.
|
| |
Building the Information Society (2004), pp. 521-526.
|
| |
2004 - The Unified Modelling Language (2004), pp. 197-211.
|
| |
Graph Transformations (2004), pp. 431-433.
|
| |
Graph Transformations (2004), pp. 96-111.
|
| |
Algebraic Methodology and Software Technology (2004), pp. 289-303.
|
| |
Algebraic Methodology and Software Technology (2004), pp. 211-225.
|
| |
From Object-Orientation to Formal Methods (2004), pp. 83-95.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Workshop on the Compositional Verification of UML Models (CVUML), Vol. 101 (1 November 2004), pp. 51-72.
|
| |
Radical Innovations of Software and Systems Engineering in the Future (2004), pp. 325-340.
|
CiteULike
leonardo's CiteULike
Search
