Vasu Alagar, Ralf Lämmel  Home/Search
Context
Related
Links: ACM DBLP | cs.concordia.ca/pub/alagar/d...draft.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.concordia.ca/~f...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A three-tiered language for the specification of micro-architectures is developed. (i) The structural and invariant properties to be maintained in the collaboration among the objects in the micro-architecture are specified in the lowest tier. (ii) The behaviour of the object methods in the classes and the roles of these objects are specified in the middle tier. (iii) The interactive behaviour of the objects in the micro-architecture is specified in the third tier of the language. The... (Update)
Active bibliography (related documents): More All
1.0: A Programming Language for Design Patterns - Bünnig, Forbrig, Lämmel, Seemann (Correct)
0.8: Design Pattern Oriented Programming - Bünnig, Forbrig, Lämmel, Seemann (Correct)
0.5: Programming with Patterns - Forbrig, Lämmel (Correct)
Similar documents based on text: More All
0.4: Computing With Billion Transistor Chips - Guri Sohi (1997) (Correct)
0.3: S I G a L a - Special Interest Group (Correct)
0.3: An Object Oriented Simulator of Computer.. - Abbattista.. (2000) (Correct)
BibTeX entry: (Update)
@misc{ alagar-threetiered,
author = "Vasu Alagar and Ralf Lämmel",
title = "Three-Tiered Specification of Micro-Architectures",
url = "citeseer.ist.psu.edu/493152.html" }
Citations (may not include all citations):625 ACM Transactions on Programming Languages and Systems (context) - Lamport, Logic - 1994
268 Larch: Languages and Tools for Formal Specification (context) - Guttag, Horning - 1993 ACM
190 Contracts: Specifying Behavioral Compositions in Object-Orie.. (context) - Helm, Holland et al. - 1992 ACM
177 Fundamentals of Algebraic Specification 1: Equations and Ini.. (context) - Ehrig, Mahr - 1985
173 An Initial Algebra Approach to the Specification (context) - Goguen, Thatcher et al. - 1978
126 Refactoring Object-Oriented Frameworks - Opdyke - 1992
119 The RAISE Language group. The RAISE Specification Language (context) - Language, RAISE et al. - 1992
70 Automatic code generation from design patterns - Budinsky, Finnie et al. - 1996
56 Tool Support for Object-Oriented Patterns - Florijn, Meijers et al. - 1997
42 Theory and Practice of Object Systems (context) - Roberts, Brant et al. - 1997
39 Design patterns as language constructs - Bosch - 1998 DBLP
35 Automatic Inheritance Hierarchy Restructuring and Method Ref.. - Moore - 1996
30 Formalizing design patterns (context) - Mikkonen
25 Structuring and Implementing Objects (context) - Fiadeiro, Maibaum
25 Design and Reuse in Object-Oriented Frameworks: Patterns (context) - Lajoie, Keller - 1995
24 Precise Visual Specification of Design Patterns - Lauder, Kent - 1998
17 Precise Specification and Automatic Application of Design Pa.. - Eden, Yehudai et al. - 1997 ACM DBLP
17 Precise Specification of Design Patterns and Tool Support in.. (context) - Eden - 2000
14 Using assertions about traces to write abstract specificatio.. (context) - Bartussek, Parnas - 1986
11 Language support for design patterns using attribute extensi.. - Hedin - 1997 ACM DBLP
11 Expressing Structural Properties as Language Constructs (context) - Krishnamurthi, Erlich et al. - 1999
10 Frameworks und Entwurfsmuster (context) - Zimmer - 1997
8 Design Patterns Application in UML - Suny, Guennec et al. - 2000
7 Reference Manual (context) - Leavens, Cheon - 1995
6 Patterns: Elements of Reusable ObjectOriented Software (context) - Gamma, Helm et al. - 1994
6 A Formal Model of Object-Oriented Design and GoF Design Patt.. (context) - Flores, Moore et al.
5 TROMLAB: A Software Development Environment for Real-Time Re.. (context) - Alagar, Achuthan et al. - 1998
5 Frameworks: On the Issue of Language Support (context) - Bosch
4 Meta-programming composers in second-generation component sy.. - Assmann ACM DBLP
4 On observational equivalence and algebraic specification (context) - Sanella, Tarlecki - 1987 ACM DBLP
3 Language Support for Design Patterns and Frameworks (context) - Bosch, Hedin et al. - 1998
3 A generalization of initial and loose semantics (context) - Bidoit - 1988
2 Formalising Design Patterns (context) - Lano, Bicarregui et al. - 1996
1 LSDF'97 - Workshop on Language Support for Design Patterns a.. (context) - Bosch, Hedin et al. - 1997
1 Also appeared in Theory and Practice of Object Systems (context) - Klarlund, Koistinen et al. - 1996
1 A Rigorous Approach to Modeling and Analyzing E-Commerce Arc.. (context) - Alagar, Xi ACM DBLP
1 A Rigorous Approach for Constructing Self-Evolving Real-Time.. (context) - Alagar, Haydar et al. - 2002 DBLP
1 Master's thesis Department of Computer Science (context) - Collagrosso, of et al. - 1993
1 Master's thesis Department of Computer Science (context) - Celer, formal et al. - 1995
1 Programming with Patterns - Forbrig, ammel
1 Pattern-Oriented Development with Rational Rose (context) - Forbrig, ammel et al. - 2001
1 A Programming Language for Design Patterns (context) - unnig, Forbrig et al.
Documents on the same site (http://www.cs.concordia.ca/~faculty/alagar/publications.html): More
A Rigorous Method for Testing Real-Time Reactive Systems - Alagar, Zheng (Correct)
Specification and Verification of Secure Business.. - Alagar, Periyasamy (Correct)
An Architecture for Multi-Agent E-Commerce Transactions - Alagar, Holliday.. (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC