An approach to object-oriented requirements verification in software development for distributed computing systems
- 17 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- An object-oriented approach to software development for autonomous decentralized systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Trends in software design for distributed computing systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Object-oriented development of architecture transparent software for distributed parallel systemsComputer Communications, 1993
- Software design methods for distributed computing systemsComputer Communications, 1992
- A layered approach to automating the verification of real-time systemsIEEE Transactions on Software Engineering, 1992
- Modeling and verification of time dependent systems using time Petri netsIEEE Transactions on Software Engineering, 1991
- OS — An object oriented algebraic specification languagePublished by Springer Nature ,1991
- Object-oriented developmentIEEE Transactions on Software Engineering, 1986
- Applications of temporal logic to the specification and verification of reactive systems: A survey of current trendsLecture Notes in Computer Science, 1986
- Verification and Validation of Real-Time SoftwarePublished by Springer Nature ,1985