Systematic software development using VDM
Systematic software development using VDM
Formal Specifications as Reusable Frameworks
VDM '90 Proceedings of the Third International Symposium of VDM Europe on VDM and Z - Formal Methods in Software Development
A transformational approach to generating application-specific environments
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
Software architecture in industrial applications
Proceedings of the 17th international conference on Software engineering
Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Architectural style requirements for self-healing systems
WOSS '02 Proceedings of the first workshop on Self-healing systems
An empirical approach to software architectures
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
The Name and Nature of Software Engineering
Advances in Software Engineering
Using graphical icons to build Z specifications
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Integration of emerging computer technologies for an efficient image sequences analysis
Integrated Computer-Aided Engineering
| Hi-index | 0.00 |
This case study presents the development of an abstract oscilloscope specification, using Z notation. A description is given of the problem and its context. An abstract model of an oscilloscope that clarifies its user-accessible functions is described. Issues that must be addressed to scale up this specification to deal with more complicated, realistic oscilloscopes are discussed. The use of formal models and formal reasoning in this specification is examined.