Specifying high-assurance services

Computer

Volumn 41, Issue 8, 2008, Pages 64-71

  Atkinson, Colin ^a   Brenner, Daniel ^a   Falcone, Giovanni ^a   Juhasz, Monika ^a  

^a UNIVERSITY OF MANNHEIM   (Germany)

Author keywords

Analytical models; Cognition; Contracts; Information technology and systems; Object oriented modeling; Quality of service; Runtime; Service specification; Software engineering; Unified modeling language

Indexed keywords

EID: 49949084121     PISSN: 00189162     EISSN: None     Source Type: Trade Journal    
DOI: 10.1109/MC.2008.308     Document Type: Article

References (13)

1. B. Beckert, R. Hähnle, and P.H. Schmitt, eds., Verification of Object-Oriented Software: The KeY Approach, Springer, 2007.
2. C. Atkinson et al., "Modeling Components and Component-Based Systems in KobrA," A. Rausch et al., eds., The Common Component Modeling Example: Comparing Software Component Models, LNCS 5153, Springer, 2008, pp. 54-84.
3. J. Rumbaugh et al Object-Oriented Modeling and Design, Prentice-Hall Int'l, 1991.
4. J.Ø. Aagedal and E.F. Ecklund Jr., "Modelling QoS: Towards a UML Profile," Proc. 5th Int'l UMLConf - The Unified Modeling Language LNCS 2460, Springer, 2002, pp. 275-289.
5. B.H. Liskov and J.M. Wing, "A Behavioral Notion of Sub-typing," A CM Trans. Programming Languages and Systems, Nov. 1994, pp. 1811-1841.
6. L.C. Briand, Y. Labiche, and M.M. Sówka, "Automated, Contract-Based User Testing of Commercial-Off-the-Shelf Components," Proc. Int'l Conf. Software Engineering, ACM Press, 2006, pp. 92-101.
7. S. Beydeda and V. Gruhn, Testing COTS Components and Systems, Springer, 2005.
8. B. Boehm, "Verifying and Validating Software Requirements and Design Specifications," IEEE Software, vol. 1, no. 1, 1984, pp. 75-88.
9. D. Brenner et al., "Reducing Verification Effort in Component-Based Software Engineering through Built-In Testing," Information Systems Frontiers, Springer, 2007, pp. 151-162.
10. H-G. Gross, Component-Based Software Testing with UML, Springer, 2005.
11. R. Mugridge and W. Cunningham, FIT for Developing Software: Framework for Integrated Tests, Robert C. Martin Series, 2005.
12. K.J. Turner, Using Formal Description Techniques - An Introduction to Estelle, LOTOS and SDL, John Wiley and Sons, 1993.
13. W. Ehrenberger, Software-Verifikation, Verfahren für den Zuverlässigkeitsnachweis von Software, Hanser Fachbuch, 2002.