Searching for "Formal Approaches to Software Architecture." – sorted by Relevance.
21 documents found, showing 1 through 10.
Next 10 →
-
A Formal Approach to Software Architecture
- …A Formal Approach to Software Architecture Robert J. Allen May 1997 CMU-CS-97-144 School…
- Cited by 227 (13 self) – Add To MetaCart
-
A Formal Approach to Analysis of Software Architectures for Real-Time Systems
- …-Checkers for Networks of Timed Automata 2000-004 Anders Wall: A Formal Approach to Analysis of Software Architectures…
- Add To MetaCart
-
The CommUnity Workbench
- … POSI/32717/00 (FAST—Formal Approach to Software Architecture. verification of invariants during…
- Cited by 5 (5 self) – Add To MetaCart
-
A Classification of Formal Specifications for Dynamic Software Architectures
- … propose a twodimensional organizational framework for formal approaches to software architecture. One…
- Cited by 1 (0 self) – Add To MetaCart
-
Towards Formalized Software Architectures
- … of “A Formal Approach to Software Architectures,” Proc. IFIP Congress ’92, September 1992. Abstract…
- Add To MetaCart
-
Towards Formalized Software Architectures
- … of "A Formal Approach to Software Architectures," Proc. IFIP Congress '92, September 1992. Abstract…
- Cited by 40 (4 self) – Add To MetaCart
-
An Inter-Disciplinary Software Engineering Track Emphasizing Component Engineering
- …, rule-based systems, databases, etc.) 2. Formal approaches to software architecture 3. Pragmatic tools…
- Add To MetaCart
-
Curriculum Vit
- … of my PhD, I began working on formal foundations of software architecture, using the approach developed…
- Add To MetaCart
-
Achieving Technical Architecture With Architectural
- … formal approach to software architecture, PhD thesis, School of Computer Science Carnegie Mellon…
- Add To MetaCart
-
Evolving and Using Coordinated Systems
- … Ciência e Tecnologia through project POSI/32717/00 (Formal Approach to Software Architecture). IWPSE we…
- Cited by 2 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
