Eco-logic: logic-based approaches to ecological modelling
Eco-logic: logic-based approaches to ecological modelling
CCS + time = an interleaving model for real time systems
Proceedings of the 18th international colloquium on Automata, languages and programming
Modal action logic for the specification and validation of safety
Mathematical structures for software engineering
Formal methods for the specification and design of real-time safety critical systems
Journal of Systems and Software
A classical mind
Safeware: system safety and computers
Safeware: system safety and computers
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
Improving Speed and Productivity of Software Development: A Global Survey of Software Developers
IEEE Transactions on Software Engineering
Software Engineering
A Logic for Reasoning about Safety in Decision Support Systems
ECSQARU '93 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Scenarios-an industrial case study and hypermedia enhancements
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
Compositional and symbolic model-checking of real-time systems
RTSS '95 Proceedings of the 16th IEEE Real-Time Systems Symposium
Argument-based applications to knowledge engineering
The Knowledge Engineering Review
An application of uncertain reasoning to requirements engineering
UAI'99 Proceedings of the Fifteenth conference on Uncertainty in artificial intelligence
Hi-index | 0.00 |
Few would disagree with the assertion that safe engineering starts from the early stages of system design and should be maintained throughout the lifecycle. Different engineering domains have developed, mostly informal, frameworks with which they hope to promote this attitude. An interesting question for the KBS community is whether some of our methods for knowledge representation and reasoning can be used to assist in understanding, representing and interpreting such frameworks. This paper concentrates on what is (arguably) the area of greatest concern: relating system requirements to high level design. We highlight what appear to be the major difficulties which face us in this area, using examples from systems which have been built to tackle them.