Issue 1 • Feb 2000
Qualitative formal method for requirements specification and validation of hybrid real-time safety systemsPublication Year: 2000, Page(s):1 - 11
Cited by: Papers (2)
The difficulties that engineers have in understanding and applying the quantitative methods in an abstract requirements phase are major obstructions in using formal methods for hybrid real-time safety systems. While formal methods technology in safety-critical systems can help increase confidence of software, the difficulty and complexity in using them can cause another hazard. The authors have pr... View full abstract»
Cited by: Papers (7)
Reflection has recently been applied in a variety of settings to introduce more openness and flexibility into designs. The paper builds on the authors' previous work in applying reflection to the design of middleware platforms by considering the role of reflection in supporting the dynamic QoS management functions of monitoring and adaptation. It is argued that reflection provides strong support f... View full abstract»
Aims & Scope
Published from 1997-2006, IEE Proceedings - Software included original contributions of interest to practitioners, researchers and managers who were engaged in software engineering. It covered all aspects of the software lifecycle, including design, development, implementation and maintenance.