On the development of reactive systems
Logics and models of concurrent systems
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
A process algebra to formalize the Lyee methodology
Knowledge-Based Systems
New Verification of Reactive Requirement for Lyee Method
Proceedings of the 2007 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the sixth SoMeT_07
Towards a Verification-Based Development Approach for Reactive Systems
Proceedings of the 2009 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the Eighth SoMeT_09
Hi-index | 0.00 |
Software development in general lacks simplicity and richness in expressing appropriately the requirement, as well related supportive tools. Despite the advances in this field, the solutions have still not overcome and the proposed way of thinking is far from resolving the problems on software development and maintenance. Recently, a new promising methodology, called Lyee, has been proposed. It aims to automatically, generate programs from user requirement. Program structure in terms of Lyee was formalized. However, when requirement and operation are not correct, Lyee program may not perform correctly. Especially, when requirements are reactive type, the validation mechanism have not proposed yet to show correctness or appropriateness of the running requirement For this purpose, the properties that requirement and operation should have, been described as a proposition in terms of temporal logic and verified by such logic.