- {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. Google ScholarDigital Library
- {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. Google ScholarDigital Library
- {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.Google Scholar
- {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 1994Google ScholarCross Ref
- {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. Google ScholarDigital Library
- {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.Google Scholar
- {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.Google Scholar
- {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. Google ScholarDigital Library
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