The certification of software tools with respect to software standards

2007 IEEE International Conference on Information Reuse and Integration, IEEE IRI-2007

Volumn , Issue , 2007, Pages 724-729

  Bunyakiati, Panuchart ^a   Finkelstein, Anthony ^a   Rosenblum, David ^a  

^a UNIVERSITY COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; INFORMATION THEORY; INFORMATION USE; SOFTWARE ENGINEERING; STANDARDIZATION; STANDARDS; UNIFIED MODELING LANGUAGE;

COMPLEX MODELING; INFORMATION RE-USE; INTERNATIONAL CONFERENCES; MODEL ELEMENTS; NON COMPLIANCE; SOFTWARE DEVELOPMENT; SOFTWARE STANDARDS; SOFTWARE SYSTEMS; SOFTWARE TOOLS; SYSTEMATIC (CO); WELL FORMEDNESS;

REGULATORY COMPLIANCE;

EID: 47949124219     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IRI.2007.4296706     Document Type: Conference Paper

References (18)

1. J. Rumbaugh, I. Jacobson, and G. Booch, The Unified Modeling Language Reference Manual, Addison Wesley, 2004.
2. CCTA, Testing criteria for the SSADM version 4 tools conformance scheme, HMSO, London 1994.
3. D. Marinov and S. Khurshid, 'TestEra: A novel framework for automated testing of Java programs", Proc. 16th IEEE International Conference on Automated Software Engineering (ASE), San Diego, CA, November 2001.
4. D. Jackson, Software Abstractions, MIT Press, MA, 2006.
5. C. Boyapati, S. Khurshid and D. Marinov,"Korat: Automated testing based on Java predicates", Proc. the 2002 International Symposium on Software Testing and Analysis (ISSTA), Rome, Italy, July 22-24, 2002.
6. nd edition, John Wiley & Sons, New Jersey, 2003.
7. D. Beyer, "Relational Programming with CrocoPat", Proc. the 28th international conference on Software engineering, pages 807-810, 2006.
8. J. Voas, "The Software Quality Certification Triangle", The Journal of Defence Software Engineering, Nov 1998.
9. R. C. Martin, UML for Java Programmers, Prentice Hall, 2003.
10. OMG, Unified Modeling Language (UML) version 2.1.1, http://www.omg.org/ technology/documents/formal/uml.htm, 2007.
11. OMG, The Meta Object Facility (MOF) 2.0 Core Specification, Object Management Group, 2004.
12. K. Hölscher, P. Ziemann and M. Gogolla, "On translating UML models into graph transformation systems", Journal of Visual Language and Computing, 2006.
13. OMG, The Object Constraint Language (OCL) Specification version 2.0, Object Management Group, 2006.
14. C. H. Papadimitriou, Computational Complexity, Addison Wesley, 1994.
15. M. L. Crane and J. Dingel, "UML vs. Classical vs. Rhapsody Statecharts: Not All Models are Created Equal", Proc. MoDELS/UML, Jamaica, October 2005.
16. A. Gargantini, "Conformance Testing", Model-Based Testing of Reactive Systems, Springer, 2004.
17. W. Emmerich, A. Finkelstein, S. Antonelli, S. Armitage, and R. Stevens, "Managing standards compliance", IEEE Transactions on Software Engineering, vol. 25, no. 6, 1999.
18. J. Skene and W. Emmerich, "Specifications, not Meta-Models", Proc. ICSE 2006.