Classification of research efforts in requirements engineering
ACM Computing Surveys (CSUR)
Conflicts in Policy-Based Distributed Systems Management
IEEE Transactions on Software Engineering
From Early to Late Formal Requirements: A Process-Control Case Study
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Formalization and validation of a subset of the European Train Control System
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Validation of requirements for hybrid systems: A formal approach
ACM Transactions on Software Engineering and Methodology (TOSEM)
| Hi-index | 0.00 |
In this paper, we report on the use of the Albert II specification language through the handling of the Railroad Crossing case study. This formal language is based on an ontology of concept used for capturing requirements inherent to real-time distributed systems. Its essential feature relies on its naturalness, i.e. the existence of a direct mapping of customer's informal needs onto formal statements without having to introduce artificial elements (which may lead to overspecification). In Albert II, this traceability property comes from the use of a real-time temporal logic framework supporting a declarative style of specification. The proposed language relies upon formal grounds which allows the development of tools providing, a.o., the possibility of conducting proofs in the context of a goal-oriented approach.