Foundations of logic programming
Foundations of logic programming
Programming in Prolog (2nd ed.)
Programming in Prolog (2nd ed.)
The relation between logic programming and logic specification
Proc. of a discussion meeting of the Royal Society of London on Mathematical logic and programming languages
Software engineering and artificial intelligence in new generaton computing
Future Generation Computer Systems
A requirements modeling language and its logic
Information Systems
The mathematics of inheritance systems
The mathematics of inheritance systems
Logical foundations of artificial intelligence
Logical foundations of artificial intelligence
Unifying functional, object-oriented and relational programming with logical semantics
Research directions in object-oriented programming
Readings in nonmonotonic reasoning
Readings in nonmonotonic reasoning
A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs
IEEE Transactions on Software Engineering
Constructing Specifications by Combining Parallel Elaborations
IEEE Transactions on Software Engineering
Object-oriented concepts, databases, and applications
Object-oriented concepts, databases, and applications
Inheritance hierarchies: Semantics and unification
Journal of Symbolic Computation
Please: executable specifications for incremental software development
Journal of Systems and Software
Object-oriented analysis
Object oriented design with applications
Object oriented design with applications
A Noninterference Monitoring and Replay Mechanism for Real-Time Software Testing and Debugging
IEEE Transactions on Software Engineering
The Requirements Apprentice: Automated Assistance for Requirements Acquisition
IEEE Transactions on Software Engineering
An Executable Language for Modeling Simple Behavior
IEEE Transactions on Software Engineering
HCLIE: a logic-based requirement language for new software engineering paradigms
Software Engineering Journal
Contributions to the Theory of Logic Programming
Journal of the ACM (JACM)
Logic for Problem Solving
Readings in Knowledge Representation
Readings in Knowledge Representation
A Study of 12 Specifications of the Library Problem
IEEE Software
A Distributed Cooperative Agents Architecture for Software Development
A Selection of Papers Presented at Two IJCAI-91 Workshops on The Next Generation of Information Systems: From Data to Knowledge
Logical calculi for reasoning in the presence of uncertainty
Logical calculi for reasoning in the presence of uncertainty
Logical objects with constraints
ACM SIGPLAN Notices
IEEE Transactions on Software Engineering
Inheritance as sublation and its semantics
ACM SIGSOFT Software Engineering Notes
A Computationally Tractable Nonmonotonic Logic
IEEE Transactions on Knowledge and Data Engineering
A Logic-Based Transformation System
IEEE Transactions on Knowledge and Data Engineering
Nonmonotonic Logic Programming
IEEE Transactions on Knowledge and Data Engineering
Knowledge-Based Software Architectures: Acquisition, Specification, and Verification
IEEE Transactions on Knowledge and Data Engineering
Incremental Verification of Architecture Specification Language for Real-Time Systems
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
Formal Tools for Managing Inconsistency and Change in RE
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Reasoning about inconsistencies in natural language requirements
ACM Transactions on Software Engineering and Methodology (TOSEM)
Information and Software Technology
Model eco-systems: preliminary work
APCCM '08 Proceedings of the fifth Asia-Pacific conference on Conceptual Modelling - Volume 79
Journal of Systems and Software
Knowledge and Information Systems
Pre-conceptual schema: a conceptual-graph-like knowledge representation for requirements elicitation
MICAI'06 Proceedings of the 5th Mexican international conference on Artificial Intelligence
KBRE: a framework for knowledge-based requirements engineering
Software Quality Control
Hi-index | 0.00 |
A formal requirement specification language, the frame-and-rule oriented requirement specification language FRORL, developed to facilitate the specification, analysis, and development of a software system is presented. The surface syntax of FRORL is based on the concepts of frames and production rules that may bear hierarchical relationships to each other, relying on multiple inheritance. To provide thorough semantic foundations, FRORL is based on a nonmonotonic variant of Horn-clause logic. Using the machinery of Horn-clause logic, various properties of a FRORL specification can be analyzed. Among the external properties of FRORL are formality, object-orientedness, and a wide spectrum of life cycle phases. Intrinsic properties are modularity, provision for incremental development, inheritance, refinement, reusability, prototyping, and executability. A software development environment based on FRORL has been implemented using the Clanguage on a Sun workstation.