Formal design and implementation of constraints in software components

Advances in Engineering Software

Volumn 41, Issue 5, 2010, Pages 737-747

  Coronato, Antonio ^a   De Pietro, Giuseppe ^a  

^a CNR   (Italy)

Author keywords

Component based applications; Formal design; Legacy components; Methodologies and tools

Indexed keywords

FAULT TOLERANCE; QUALITY ASSURANCE;

AUTOMATIC IMPLEMENTATION; BUSINESS RULES; COMPONENT BASED APPLICATIONS; DESIGN BY CONTRACTS; DISTRIBUTED SYSTEMS; FORMAL DESIGN; LEGACY COMPONENT; LEGACY COMPONENTS; MODEL COMPONENTS; RUN-TIME VERIFICATION; SOFTWARE COMPONENT;

DESIGN;

EID: 77249124270     PISSN: 09659978     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.advengsoft.2009.12.014     Document Type: Article

References (29)

1. Heineman G.T., and Council W.T. Component-based software engineering (2001), Addison Wesley
2. Oellermann W.L. Architecting web services (2001), Apress
3. Balen H., Elenko M., Jones J., and Palumbo G. Distributed object architectures with CORBA (paperback) (2001), Cambridge University Press
4. Bowen JP, Stavridou V. Formal methods and software safety; 1992.
5. Ross RG. Business rule concept. Business Rule Solutions; 1998.
6. Pawel Plaszczak, Richard Jr Wellner. Grid computing: the savvy manager's guide. Morgan Kaufmann; 2005.
7. William Grosso, Java RMI (paperback). O'Reilly; 2001.
8. Thuan Thai, Learning DCOM. O'Reilly; 1999.
9. Meyer B. Object oriented software construction. 2nd ed. (1997), Prentice Hall, Englewood Cliffs (NJ)
10. Mitchell R, McKim J. Design by contract, by example; 2001.
11. Kelley Sobel A.E., and Clarkson M.L. Formal methods application: an empirical tale of software development. IEEE Trans Softw Eng 28 3 (2002)
12. Berry D.M., and Tichy W.F. Comments on formal methods application: an empirical tale of software development. IEEE Trans Softw Eng 29 6 (2003)
13. Kelley Sobel A.E., and Clarkson M.L. Response to comments on 'formal methods application: an empirical tale of software development'. IEEE Trans Softw Eng 29 6 (2003)
14. Saha G.K. Software fault avoidance issues. ACM Ubiquity 7 46 (2006) 1-15
15. Meyer B. Applying design by contract. IEEE Comput October (1992) 4051
16. Coronato A., and De Pietro G. MiPeG: a middleware infrastructure for pervasive grids. Future Generat Comp Syst 24 1 (2008) 17-29 10.1016/j.future.2007.04.007
17. Coronato A., De Pietro G., and Gallo L. An agent based platform for task distribution in virtual environments. J Syst Architect 54 9 (2008) 877-882 10.1016/j.sysarc.2008.01.011
18. Coronato A., and De Pietro G. Middleware mechanisms for supporting multimodal interactions in smart environments. Comput Commun 31 18 (2008) 4242-4247 10.1016/j.comcom.2008.06.003
19. Karlsson D., Eles P., and Peng Z. Formal verification of component-based designs. J Des Autom Embedded Syst 11 1 (2007)
20. Hoare C.A.R. An axiomatic basis for computer programming. Commun ACM 12 10 (1969) 576585
21. Kramer R. iContractthe Java design by contract tool. In: Proceedings of international conference of object oriented language and systems (TOOLS 26, USA98). IEEE Computer Society Press; 1998.
22. Abercrombie P, Karaorman M. jContractor: bytecode instrumentation techniques for implementing design by contract in Java. In: Proceedings of second workshop on runtime verification, RV 02. Copenhagen, Denmark; July 26, 2002.
23. Cinquegrani M, Coronato A, De Pietro G. Adding business rules and constraints in component based applications. In: Meersman Robert, Tari Zahir, editors. Proceedings of the 8th international symposium on distributed objects and applications (DOA 2002), LNCS 2519. Springer Verlag; 2002. p. 948-64. ISBN 3-540-00106-9, ISSN 0302-9743.
24. Coronato A, d'Acierno A, D'Ambrosio D, De Pietro G. Supporting tools for designing-by-contract in component based applications. In: Proceedings of the 3rd international metainformatics symposium (MIS 2004), LNCS 3511. Springer Verlag; 2005. p. 1-13. ISBN 3-540-27328-X, ISSN 0302-9743.
25. Wegdam M, Halteren AV. Experiences with CORBA interceptors reflective middleware; 2000.
26. .
27. .
28. .
29. .