Quality of service support in development of distributed systems, p.3, 2001. ,
Making components contract aware, Computer, vol.32, issue.7, pp.38-45, 1999. ,
DOI : 10.1109/2.774917
A user-oriented software reliability model, IEEE Transactions on Software Engineering, pp.118-125, 1980. ,
The Need for Compositional Proof Systems: A Survey, Proceedings of the Int. Symp. COMPOS'97, pp.8-12, 1997. ,
DOI : 10.1007/3-540-49213-5_1
QoS specification in distributed object systems, Distributed Systems Engineering, 1998. ,
Automatic test data generation using constraint solving techniques, ACM Int. Symp. on Software Testing and Analysis (ISSTA'98), also in Software Engineering Notes, pp.53-62, 1998. ,
DOI : 10.1145/271771.271790
The synchronous data flow programming language LUSTRE, Proc. of IEEE, pp.1305-1320, 1991. ,
DOI : 10.1109/5.97300
Synchronization in concurrent object-oriented languages: expressive power, genericity and inheritance " . Doctoral dissertation, Trinity College, Dept. of computer science, 1994. ,
Test sequences generation from luster descriptions: Gatel " in 15 th IEEE Int, Conf. On Automated Software Engineering (ASE), pp.229-237, 2000. ,
Automatic generation of software test cases from formal specifications, 1998. ,
Object oriented software construction, 1997. ,
Applying 'design by contract', IEEE Computer, pp.40-51, 1992. ,
DOI : 10.1109/2.161279
UML Superstructure 2.0, 2003. ,
UML2.0 Object Constraint Language RfP, 2003. ,
CORBA Components, v3.0 " , adopted specification of the OMG, 2002. ,
UML profile for schedulability, performance and time specification " . OMG adopted specification n° ptc/02-03-02, www.qccs.org, Quality Control of Component-based Software (QCCS) European project home page, 2002. ,
The use of parameterized contracts for architecting systems with software components, Proc. of the 6 th Int. Workshop on Component-Oriented Programming (WCOP'01), 2001. ,
Reliability prediction for componentbased software architecture, the Journal of Systems and Software, pp.241-252, 2003. ,
Applied Microsoft .Net framework programming, 2002. ,
The Software Engineering Institute's Second Workshop on Predictable Assembly: Landscape of compositional predictability, 2003. ,
Component software, beyond object-oriented programming, 2002. ,
Volume III: A technology for predictable assembly from certifiable components ,
Model metamorphosis, IEEE Software, pp.46-5103, 2003. ,
DOI : 10.1109/MS.2003.1231151
A Markov chain model for statistical software testing, IEEE Transactions on Software Engineering, pp.812-824, 1994. ,
DOI : 10.1109/32.328991