| |
Conceptual Modeling — ER '97 (1997), pp. 155-168.
|
| |
Professional Communication, IEEE Transactions on In Professional Communication, IEEE Transactions on, Vol. 40, No. 4. (1997), pp. 299-304.
|
| |
Software, IEEE In Software, IEEE, Vol. 14, No. 1. (1997), pp. 73-85.
|
| |
Software, IEEE In Software, IEEE, Vol. 14, No. 1. (1997), pp. 61-72.
|
| |
Software, IEEE In Software, IEEE, Vol. 14, No. 1. (1997), pp. 43-52.
|
| |
Software, IEEE In Software, IEEE, Vol. 14, No. 1. (1997), pp. 36-42.
|
| |
In OOPSLA '97: Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (1997), pp. 327-341.
|
| |
Requirements Engineering, Vol. 2, No. 2. (24 June 1997), pp. 102-113.
|
| |
|
| |
International Journal of Computer Integrated Manufacturing, Vol. 10, No. 1. (1997), pp. 160-171.
|
| |
ZUM '97: The Z Formal Specification Notation (1997), pp. 389-424.
|
| |
Algebraic Methodology and Software Technology (1997), pp. 199-215.
|
| |
Program Comprehension, 1997. IWPC '97. Proceedings., Fifth Iternational Workshop on (1997), pp. 118-127.
|
| |
|
| |
Robotics and Automation, 1997. Proceedings., 1997 IEEE International Conference on, Vol. 4 (1997), pp. 3467-3472.
|
| |
EUROMICRO 97. 'New Frontiers of Information Technology'., Proceedings of the 23rd EUROMICRO Conference (1997), pp. 207-214.
|
| |
Technology of Object-Oriented Languages, 1997. TOOLS 24. Proceedings (1997), pp. 96-103.
|
| |
Software Engineering Environments, Eighth Conference on (1997), pp. 131-144.
|
| |
Computer, Vol. 30, No. 7. (1997), pp. 31-42.
|
| |
Lecture Notes in Computer Science : Software Engineering â ESEC/FSE'97 (1997), pp. 450-467.
|
| |
Lecture Notes in Computer Science : ECOOP'97 â Object-Oriented Programming (1997), pp. 324-343.
|
| |
Lecture Notes in Computer Science : Advanced Information Systems Engineering (1997), pp. 319-332.
|
| |
Lecture Notes in Computer Science : Advances in Computing Science — ASIAN'97 (1997), pp. 181-196.
|
| |
Lecture Notes in Computer Science : Analysis and Verification of Multiple-Agent Languages (1997), pp. 404-429.
|
| |
Lecture Notes in Computer Science : FME '97: Industrial Applications and Strengthened Foundations of Formal Methods (1997), pp. 553-572.
|
| |
Lecture Notes in Computer Science : Analysis and Verification of Multiple-Agent Languages (1997), pp. 388-403.
|
| |
Lecture Notes in Computer Science : Tools and Algorithms for the Construction and Analysis of Systems (1997), pp. 224-238.
|
| |
Lecture Notes in Computer Science : TAPSOFT '97: Theory and Practice of Software Development (1997), pp. 637-651.
|
| |
Lecture Notes in Computer Science : Transformation-Based Reactive Systems Development (1997), pp. 126-140.
|
| |
Lecture Notes in Computer Science : Computer Aided Verification (1997), pp. 226-231.
|
| |
Lecture Notes in Computer Science : CONCUR '97: Concurrency Theory (1997), pp. 181-195.
|
| |
Science of Computer Programming, Vol. 29, No. 3. (September 1997), pp. 279-302.
|
| |
J. ACM, Vol. 44, No. 6. (November 1997), pp. 850-891.
|
| |
|
| |
Lecture Notes in Computer Science, Vol. 1313 (June 1997), pp. 82-101.
|