Communicating sequential processes
Communicating sequential processes
Distrbution and Abstract Types in Emerald
IEEE Transactions on Software Engineering - Special issue on distributed systems
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Parameterized programming in OBJ2
ICSE '87 Proceedings of the 9th international conference on Software Engineering
The Modula-2 software component library: vol. 1
The Modula-2 software component library: vol. 1
Constructing Distributed Systems in Conic
IEEE Transactions on Software Engineering
Fundamentals of algebraic specification 2: module specifications and constraints
Fundamentals of algebraic specification 2: module specifications and constraints
The definition of Standard ML
The C Information Abstraction System
IEEE Transactions on Software Engineering
The sciences of the artificial (3rd ed.)
The sciences of the artificial (3rd ed.)
A technique for software module specification with examples
Communications of the ACM
Software Component with ADA
Formal Description Technique Lotos: Results of the Esprit Sedos Project
Formal Description Technique Lotos: Results of the Esprit Sedos Project
Reliable software through composite design
Reliable software through composite design
Evolutionary Development Of Business Process Centered Architectures Using Component Technologies
Journal of Integrated Design & Process Science
| Hi-index | 0.00 |
In this paper we discuss how the notion of software component can be turned into a specification language concept. Such component description languages (CDL) would directly support reuse, flexible construction of large systems and team-work. First we analyze important requirements to CDLs and discuss the component support of different languages. Finally we discuss extensions necessary to cover also quantitative aspects in component descriptions.