Integrating object-oriented analysis and formal specifications
Pages 40 - 41
Abstract
No abstract available.
References
[1]
{BC95} Robert H. Bourdeau and Betty H. C. Cheng. A formal semantics of object models. IEEE Trans. on Software Engineering , 21(10):799-821, October 1995.
[2]
{CF99} Betty H. C. Cheng and Robert France. A discussion about integrated techniques. In Post-Proceedings. of IEEE International Workshop on Industrial Strength Formal Specification Techniques (WIFT98), April 1999.
[3]
{che99} Betty H.C. Cheng. Multiple dimensions of integrating development technology. In P. Ammann, B. Barnes, S. Jajodia, and E, Sibley, editors, Computer Security, Dependability, and Assurance: From Needs to Solutions. IEEE Computer Society, 1999.
[4]
{CWB94} Betty H. C. Cheng, Enoch Y. Wang, and Robert H. Bourdeau. A graphical environment for formally developing object- oriented software. In Proc. of IEEE 6th International Conference on Tools with Artificial Intelligence, November 1994
[5]
{MC99} William E. McUmber and Betty H.C. Cheng. UML-based analysis of embedded systems using a mapping to VHDL. In to appear in Prac. of IEEE High Assurance Software Engineering (HASE99), Washington, DC, November 1999.
[6]
{WC98a} Enoch Y. Wang and Betty H. C. Cheng. Formalizing and integrating the functional model into object- oriented design. In Proc. of International Conference on Software Engineering and Knowledge Engineering, June 1998. Nominated for Best Paper.
[7]
{WC98b} Enoch Y. Wang and Betty H. C. Cheng. A rigorous object-oriented design process. In Proc. of International Conferences on Software Process, Naperville, Illinos, June 1998.
[8]
{WRC97} Enoch Y. Wang, Heather A. Richter, and Betty H. C. Cheng. Formalizing and integrating the dynamic model within OMT. In Proc. of IEEE International Conference on Software Engineering (ICSE97), Boston, MA, May 1997.
Index Terms
- Integrating object-oriented analysis and formal specifications
Recommendations
Synthesizing structured analysis and object-based formal specifications
Structured Analysis (SA) is a widelyýused software development method. SA specifications are based on Data Flow Diagrams (DFD’s), Data Dictionaries (DD’s) and Process Specifications (PýSpecs). As used in practice, SA specifications are not formal. ...
Integrating Object-Oriented Requirements Specifications with Formal Notations
TAI '95: Proceedings of the Seventh International Conference on Tools with Artificial IntelligenceIn this paper, we propose an integration of an extension of Bailin's object-oriented requirements specification (OOS) with a formal notation (Z), called OOSZ. The OOS is used to guide the derivation of Z specifications. In OOSZ, a function process is ...
Comments
Information & Contributors
Information
Published In
Copyright © 2000 Author.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 January 2000
Published in SIGSOFT Volume 25, Issue 1
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 82Total Downloads
- Downloads (Last 12 months)11
- Downloads (Last 6 weeks)3
Reflects downloads up to 15 Oct 2024
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in