Functional documents for computer systems
Science of Computer Programming
Deriving specifications from requirements: an example
Proceedings of the 17th international conference on Software engineering
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
The verifying compiler: A grand challenge for computing research
Journal of the ACM (JACM)
A Reference Model for Requirements Engineering
RE '03 Proceedings of the 11th IEEE International Conference on Requirements Engineering
Requirement Progression in Problem Frames Applied to a Proton Therapy System
RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference
Research Directions in Requirements Engineering
FOSE '07 2007 Future of Software Engineering
Modeling the Environment in Software-Intensive Systems
MISE '07 Proceedings of the International Workshop on Modeling in Software Engineering
A generic mobile agent framework for ambient intelligence
Proceedings of the 2008 ACM symposium on Applied computing
Realising software development as a lived experience
Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software
| Hi-index | 4.11 |
Program verification assumes a formal program specification. In software-intensive systems,such specifications must depend on formalization of the natural, nonformal problem world.This formalization is inevitably imperfect and poses major difficulties of structure andreasoning. Appropriate verification tools can help address these difficulties and improvesystem reliability.