|
СТ |
Software Architecture Modeling & Analysis: A Rigorous Approach |
2003 |
Kramer J., Magee J., Uchitel S. |
|
|
|
Lecture Notes in Computer Science |
14.11.2003 |
|
СТ |
The Koala Component Model for Consumer Electronics Software |
2000 |
Van Ommering R., Van Der Linden F., Kramer J., Magee J. |
|
|
|
Computer |
03.06.2000 |
|
СТ |
An Architecture to Support Interoperability of Autonomous Database Systems |
1996 |
Zisman A., Kramer J. |
|
|
|
Databases and Information Systems: Proc. of the Second Intern. Baltic Wirkshop, vol.1 |
12.10.1999 |
|
СТ |
Checking Safety Properties Using Compositional Reachability Analysis |
1999 |
Cheung S. C., Kramer J. |
|
|
|
ACM Trans. on Software Engineering and Methodology |
26.05.1999 |
|
СТ |
Modeling for Mere Mortals |
1999 |
Kramer J., Magee J. |
|
|
|
Lecture Notes in Computer Science |
08.04.1999 |
|
СТ |
An Experiment in Distributed Software Architecture Recovery |
1998 |
Mendonca N. C., Kramer J. |
|
|
|
Lecture Notes in Computer Science |
03.09.1998 |
|
СТ |
Verification of Liveness Properties Using Compositional Reachability Analysis |
1997 |
Cheung S. C., Giannakopoulou D., Kramer J. |
|
|
|
Lecture Notes in Computer Science |
07.10.1997 |
|
СТ |
Method Integration and Support for Distributed Software Development: An Overview |
1996 |
Kramer J., Finkelstein A., Nuseibeh B. |
|
|
|
Lecture Notes in Computer Science |
10.07.1996 |
|
СТ |
Checking Subsystem Safety Properties in Compositional Reachability Analysis |
1996 |
Cheung S. C., Kramer J. |
|
|
|
Proc. of the 18th Intern. Conf. on Software Engineering. Berlin, Germany, March 25-29, 1996 |
18.06.1996 |
|
СТ |
Specifying Distributed Software Architectures |
1995 |
Magee J., Dulay N., Eisenbach S., Kramer J. |
Lecture Notes in Computer Science |
|
|
Software Engineering - ESEC 95 |
30.11.1995 |
|
СТ |
Modelling Darwin in the -calculus |
1994 |
Magee J., Eisenbach S., Kramer J. |
Lecture Notes in Computer Science |
|
|
Theory and Practice in Distributed Systems |
27.08.1995 |
|
СТ |
Decentralised Process Modelling |
1995 |
Nuseibeh B., Kramer J., Finkelstein A., Leonardt U. |
|
|
|
Lecture Notes in Computer Science |
19.04.1995 |
|
СТ |
Enhancing Compositional Reachability Analysis with Context Constrains |
1993 |
Cheung S. C., Kramer J. |
|
|
|
Software Engineering Notes |
12.04.1994 |
|
СТ |
Inconsistency Handling in Multi-Perspective Specifications |
1993 |
Finkelstein A., Gabbay D., Hunter A., Kramer J., Nuseibeh B. |
|
|
|
Lecture Notes in Computer Science |
21.10.1993 |
|
СТ |
A Configurable Framework for Method and Tool Integration |
1991 |
Kramer J., Finkelstein A. |
|
|
|
Lecture Notes in Computer Science |
31.07.1991 |
