Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
460111 | Journal of Systems and Software | 2009 | 10 Pages |
Abstract
A formal requirements specification language plays an important role in software development. Not only can such language be used for stating requirements specification, but also can be used in many phases of software development life cycle. The FRORL project started from constructing a language with a solid logical foundation and further expanded to research in verification, validation, requirements analysis, debugging, and transformation. Research in this project aided in some industrial applications in which a code generation tool produced software for embedded systems. This article reports the experiences gained from this project and states the value of research in knowledge-based software engineering.
Related Topics
Physical Sciences and Engineering
Computer Science
Computer Networks and Communications
Authors
Jeffrey J.P. Tsai, Alan Liu,