|
СТ |
Using Architectural Model at Runtime: Research Challenges |
2004 |
Garlan D., Schmeri B. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
10.06.2004 |
|
СТ |
Increasing System Dependability through Architecture-Based Self-Repair |
2003 |
Garlan D., Cheng S. -W., Schmerl B. |
|
|
|
Lecture Notes in Computer Science |
13.01.2004 |
|
СТ |
Formal Modeling and Analysis of Software Architecture: Components, Connectors, and Events |
2003 |
Garlan D. |
|
|
|
Lecture Notes in Computer Science |
14.11.2003 |
|
СТ |
Model Checking Publish-Subscribe Systems |
2003 |
Garlan D., Khersonsky S., Kim J. S. |
|
|
|
Lecture Notes in Computer Science |
29.05.2003 |
|
СТ |
Acme-Based Software Architecture Interchange |
1999 |
Garlan D., Wang Z. |
|
|
|
Lecture Notes in Computer Science |
18.05.1999 |
|
СТ |
Formal Modeling and Analysis of the HLA Component Integration Standard |
1998 |
Allen R. J., Garlan D., Ivers J. |
|
|
|
Software Engineering Notes |
26.03.1999 |
|
СТ |
Reasoning about Implicit Invocation |
1998 |
Dingel J., Garlan D., Jha S., Notkin D. |
|
|
|
Software Engineering Notes |
26.03.1999 |
|
СТ |
Specifying and Analyzing Dynamic Software Architectures |
1998 |
Allen R., Douence R., Garlan D. |
|
|
|
Lecture Notes in Computer Science |
18.04.1998 |
|
СТ |
Architectural Styles, Design Patterns, and Objects |
1997 |
Monroe R. T., Kompanek A., Melton R., Garlan D. |
|
|
|
Software |
15.03.1997 |
|
СТ |
Formal Approach to Software Architecture |
1996 |
Garlan D. |
|
|
|
Lecture Notes in Computer Science |
10.07.1996 |
|
СТ |
Formulations and Formalisms in Software Architecture |
1995 |
Shaw M., Garlan D. |
Lecture Notes in Computer Science |
|
|
Computer Science Today |
01.12.1995 |
|
СТ |
The CMU Master of Software Engineering Core Curriculum |
1995 |
Garlan D., Brown A., Jackson D., Tomayko J., Wing J. |
|
|
|
Lecture Notes in Computer Science |
29.03.1995 |
|
СТ |
TransformGen: Automating the Maintenance of Structure-Oriented Environments |
1994 |
Garlan D., Krueger C. W., Lerner B. S. |
|
|
|
ACM Trans. Programming Languages and Systems |
01.09.1994 |
|
СТ |
Beyond Definition/Use: Architectural Interconnection |
1994 |
Allen R., Garlan D. |
|
|
|
SIGPLAN Notices |
30.08.1994 |
|
СТ |
Using Style to Understand Descriptions of Software Architecture |
1993 |
Abowd G., Allen R., Garlan D. |
|
|
|
Software Engineering Notes |
12.04.1994 |
|
СТ |
Adding Implicit Invocation to Languages: Three Approaches |
1993 |
Notkin D., Garlan D., Griswold W. G., Sullivan K. |
|
|
|
Lecture Notes in Computer Science |
23.11.1993 |
|
СТ |
A Transformational Approach to Generating Application-Specific Environments |
1992 |
Garlan D., Cai L., Nord R. L. |
|
|
|
Software Engineering Notes |
13.03.1993 |
|
СТ |
Experience with a Course on Architectures for Software Systems |
1992 |
Garlan D., Shaw M., Okasaki C., Scott C. M., Swonger R. F. |
|
|
|
Lecture Notes in Computer Science |
01.12.1992 |
|
СТ |
Formal Methods for Software Engineers: Tradeoffs in Curriculum Design |
1992 |
Garlan D. |
|
|
|
Lecture Notes in Computer Science |
01.12.1992 |
