Experiments on processing and linking semantically augmented requirement specifications

Proceedings of the Hawaii International Conference on System Sciences

Volumn 37, Issue , 2004, Pages 4427-4436

  De Leon, Daniel Conte ^a   Alves Foss, Jim ^a  

^a UNIVERSITY OF IDAHO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EXTENSIBLE METADATA INTERCHANGE (XMI); SAFETY-CRITICAL SYSTEMS; SCALABLE VECTOR GRAPHICS LANGUAGE (SVG); SYSTEM WORK PRODUCT;

COMPUTER SYSTEMS; DATABASE SYSTEMS; ELECTRIC POWER GENERATION; JAVA PROGRAMMING LANGUAGE; METADATA; PROBLEM SOLVING; RELIABILITY; SECURITY SYSTEMS; XML;

SEMANTICS;

EID: 12344291111     PISSN: 10603425     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (41)

1. J. R. Abrial, "Steam-Boiler Control Specification Problem," Dagsthul Meeting, June 4 to 9, 1995, 10 August 1994.
2. S. Adler, A. Berglund, J. Caruso, S. Deach, P. Grosso, E. Gutentag, A. Milowski, S. Parnell, J. Richman, S. Zilles: Editors, "Extensible Stylesheet Language (XSL) Version 1.0," W3C Recommendation. 15 October 2001.
3. J. Alves-Foss, D. Conte de Leon, and P. Oman, "Experiments in the Use of XML to Enhance Traceability Between Object-Oriented Design Specs. and Source Code," Proc. of the 35th Hawaii Intl. Conf on System Sciences, 7-10 Jan. 2002.
4. J. Alves-Foss, "A Constraint-Oriented Specification of a Steam-Boiler Controller in Higher Order Logic," Technical Report, Laboratory of Applied Logic, University of Idaho, 1995.
5. A. Avisienis, J. C. Laprie, and B. Randell, "Fundamental Concepts of Computer Systems Dependability," Proc. of the Workshop on Robot Dep., Seoul, Korea, 21-22 May 2001.
6. G. Badros, "JavaML: A Markup Language for Java Source Code," University of Washington, Seattle, WA, 2000.
7. A. Berglund, S. Boag, D. Chamberlin, M. Fernandez, M. Kay, J. Robie, and J. Soemon, "XML Path Language (XPath) Version 2.0," W3C Working Draft, 30 April 2002.
8. L. Bompani, P. Ciancarini, F. Vitali, "XML-Based Hypertext Functionalities for Software Engineering," Annals of Software Engineering, June 2002, Kluwer Academic Publ. Pp 231-247.
9. J. Bowen and V. Stavridou, "Safety-Critical Systems, Formal Methods and Standards," Technical Report PRG-TR-5-92, Oxford University Computing Laboratory, Oxford, May 1992.
10. T. Bray, J. Paoli, C.M. Sperberg-McQueen, E. Maler, "Extensible Markup Language (XML) Version 1.0 Second Edition", W3C Recommendation, 06 October 2000.
11. R. Butler and G. Finelli, "The infeasibility of quantifying the Reliability of Life-Critical Real-Time Software", IEEE Trans. on Soft. Engineering, Vol. 19, Nr. 1, Pp 3-12, Jan. 1993.
12. D. Carlisle, P. Ion, R. Miner, and N. Poppelier, "Mathematical Markup Language (MathML) Version 2.0," W3C Recommendation, 21 February 2001.
13. J. Clark: Editor, "XSL Transformations Language (XSLT) Version 1.0," W3C Recommendation, 16 November 1999.
14. D. Conte de Leon, "Formalizing Traceability among Software Work Products," Thesis, Univ. of Idaho, 2002.
15. S. DeRose, E. Maler, D. Orchard: Editors, "XML Linking Language (XLink) Version 1.0," W3C Rec., 27 June 2001.
16. A. Durán, A. Ruiz, R. Corchuelo, and M. Toro, "Applying XML technologies in Requirements Verification," Depto. de Leng, y Sist. Informáticos, Univ. de Sevilla, España, Unpub.
17. J. Ferraiolo: Editor, "Scalable Vector Graphics (SVG) 1.0 Specification," W3C Recommendation, 04 September 2001.
18. A. Finkelstein, C. Nentwich, W. Emmerich, "Static Consistency Checking for Distributed Specifications," Proc. of the 16th International Conference on Automated Software Engineering (ASE), San Diego, California, November 2001.
19. IBM Alphaworks, "The Reengineering Toolkit for Java," Web Site: http://www.alphaworks.ibm.com/tech/ret4j, 2002.
20. U. Isaksen, J.P. Bowen, and N. Nissanke, "System and Software Safety in Critical Systems," The University of Reading, Whiteknights, United Kingdom, December 1996.
21. International Organization for Standardization, "ISO 15437: Information Technology - E-LOTOS," Intl. Standard, 2001.
22. WebGain, "JavaCC: Java Parser Generator," http://www.webgain. com/products/java_cc, 2003.
23. P. Ladkin, "Abstracts of References and Incidents," Faculty of Technology, University of Bielefeld, http://www.rvs.uniielefeld.de/publications/ Incidents/DOCS/FBW.html, 1998.
24. J.C. Laprie, "Dependable Computing and Fault Tolerance: Concepts and Terminology," Proc. of the 15th International Symposium on Fault Tolerant Computing (FTCS-15), 1985.
25. J.C. Laprie: Editor, "Dependability: Basic Concepts and Terminology," Springer-Verlag, Berlin, 1992.
26. N.G. Leveson, "Safeware: System Safety and Computers," Addison-Wesley 1995.
27. N.G. Leveson, "Intent Specifications: An Approach to Building Human-Centered Specifications," IEEE Transactions on Software Engineering, Vol. 26, Nr. 1, January 2000.
28. R.R. Lutz, "Analyzing Software Requirements Errors in Safety-Critical Embedded Systems," Proceedings of the IEEE International Symposium on Requirements Engineering, San Diego, CA, Pages 126-133, January 1993.
29. E. Mamas and K. Kontogiannis, "Towards Portable Source Code Representations Using XML," Proc. of the Seventh Working Conference on Reverse Engineering, 2000, Pages 1-12.
30. NavSurf, "AJPopUp: A DHTML Javascript application for popup display," http://navsurf.com/dhtml/ajpopup.asp, 2003.
31. C. Nentwich, L. Capra, W. Emmerich and A. Finkelstein "Xlinkit: A Consistency Checking and Smart Link Generation Service," ACM Transactions on Internet Technology 2001.
32. The Object Management Group, "Unified Modeling Language Specification (UML)," Version 1.4, 07 Sep. 2001.
33. The Object Management Group, "XML Metadata Interchange (XMI) Version 1.2," Specification, 01 Jan. 2002.
34. J. Peleska, "Formal Methods and the Development of Dependable Systems," Thesis, University of Kiel, 1995.
35. D. Raggett, A. Le Hors, and I. Jacobs: Editors, "HTML 4.01 Specification," W3C Recommendation, 24 December 1999.
36. J. Rushby, "Critical System Properties: Survey and Taxonomy," Tech. Report CSL-93-01, SRI Intlernational, Menlo Park, CA, May 1993, Revised February 1994.
37. SoftComplex, "Tigra Tree Menu: A DHTML Javascript," http://navsurf.com/dhtml/ajpopup.asp, 2003.
38. M. Weber and J. Weisbrod, "Requirements Engineering in Automotive Development: Experiences and Challenges," IEEE Software, January-February 2003, Pages 16-24.
39. L.R.. Wiener, "Digital Woes: Why We Should Not Depend Upon Software," Addison-Wesley Co., Reading, MA, 1993.
40. A. Willig and I. Schieferdecker, "Specifying and Verifying the Steam Boiler Control System with Time Extended LOTOS," in J.R. Abrial: Ed., LNCS 1165, Springer-Verlag, October 1996.
41. H. Wium Lie and B. Bos, "Cascading Style Sheets, Level 1," W3C Rec., 17 December 1996, Revised 11 January 1999.