IEEE Transactions on Software Engineering
HCLIE: a logic-based requirement language for new software engineering paradigms
Software Engineering Journal
A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis
IEEE Transactions on Software Engineering - Special issue on software maintenance
Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
An explication of reasoning in multiple inheritance systems through non-monotonic Horn clause logic
Information Sciences: an International Journal
Artificial intelligence: a modern approach
Artificial intelligence: a modern approach
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
Parallel evaluation of software architecture specifications
Communications of the ACM
Compositional verification of concurrent systems using Petri-net-based condensation rules
ACM Transactions on Programming Languages and Systems (TOPLAS)
Artificial Intelligence: Structures and Strategies for Complex Problem Solving
Artificial Intelligence: Structures and Strategies for Complex Problem Solving
Knowledge-Based Software Development for Real-Time Distributed Systems
Knowledge-Based Software Development for Real-Time Distributed Systems
A Computationally Tractable Nonmonotonic Logic
IEEE Transactions on Knowledge and Data Engineering
A Logic-Based Transformation System
IEEE Transactions on Knowledge and Data Engineering
Knowledge-Based Software Architectures: Acquisition, Specification, and Verification
IEEE Transactions on Knowledge and Data Engineering
Representing and Using Nonfunctional Requirements: A Process-Oriented Approach
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems
IEEE Transactions on Knowledge and Data Engineering
Towards Modeling and Reasoning Support for Early-Phase Requirements Engineering
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
Formal Techniques for Automatically Generating Marshalling Code from High-Level Specifications
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Tropos: An Agent-Oriented Software Development Methodology
Autonomous Agents and Multi-Agent Systems
A Formal Approach to Requirements-Based Programming
ECBS '05 Proceedings of the 12th IEEE International Conference and Workshops on Engineering of Computer-Based Systems
Generating Annotated Behavior Models from End-User Scenarios
IEEE Transactions on Software Engineering
Basic protocols, message sequence charts, and the verification of requirements specifications
Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
Symbolic model checking of declarative relational models
Proceedings of the 28th international conference on Software engineering
Practical Experiences in Using Model-Driven Engineering to Develop Trustworthy Computing Systems
SUTC '06 Proceedings of the IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing -Vol 1 (SUTC'06) - Volume 01
Automatic Property Checking for Software: Past, Present and Future
SEFM '06 Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods
Requirements engineering for trust management: model, methodology, and reasoning
International Journal of Information Security
Scenarios, goals, and state machines: a win-win partnership for model synthesis
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Lightweight extraction of syntactic specifications
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Modeling real-time communication systems: Practices and experiences in Motorola
Journal of Visual Languages and Computing
Specification and verification challenges for sequential object-oriented programs
Formal Aspects of Computing
Computer-aided Support for Secure Tropos
Automated Software Engineering
High variability design for software agents: Extending Tropos
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Actor Eco-systems: From High-Level Agent Models to Executable Processes via Semantic Annotations
COMPSAC '07 Proceedings of the 31st Annual International Computer Software and Applications Conference - Volume 02
Toward automated software development
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
A requirements-based programming approach to developing a NASA autonomous ground control system
Artificial Intelligence Review
Automated Code Generation for Industrial-Strength Systems
COMPSAC '08 Proceedings of the 2008 32nd Annual IEEE International Computer Software and Applications Conference
Modeling partial attacks with ALLOY
Proceedings of the 15th international conference on Security protocols
A knowledge-based system for software design
IEEE Journal on Selected Areas in Communications
| Hi-index | 0.00 |
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.