Automating the Transformational Development of Software
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
The synthesis of digital machines with provable epistemic properties
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
A first order theory of planning, knowledge, and action
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
Language support for the specification and development of composite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Reachability trees for high-level Petri nets
Theoretical Computer Science
Why are design derivations hard to replay?
Machine learning: a guide to current research
Implementing specification freedoms
Readings in artificial intelligence and software engineering
Building a secure computer system
Building a secure computer system
gIBIS: a hypertext tool for exploratory policy discussion
ACM Transactions on Information Systems (TOIS)
Computer networks
Case-based planning: viewing planning as a memory task
Case-based planning: viewing planning as a memory task
JANUS: integrating hypertext with a knowledge-based design environment
HYPERTEXT '89 Proceedings of the second annual ACM conference on Hypertext
A logic of action for supporting goal-oriented elaborations of requirements
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
A proposed perspective shift: viewing specification design as a planning problem
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
The open book: a practical perspective on OSI
The open book: a practical perspective on OSI
Intention is choice with commitment
Artificial Intelligence
Design and validation of computer protocols
Design and validation of computer protocols
Negotiation behavior during requirements specification
ICSE '90 Proceedings of the 12th international conference on Software engineering
The simple book: an introduction to management of TCP/IP-based internets
The simple book: an introduction to management of TCP/IP-based internets
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Critiquing Software Specifications
IEEE Software
Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop
Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop
METATEM: A Framework for Programming in Temporal Logic
Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop
Construction of Network Protocols by Stepwise Refinement
Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop
Goal-directed concept acquisition in requirements elicitation
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Abstraction and composition in Δ-specifications of concurrent systems
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Prototyping and formal analysis of concurrent and distributed systems
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Models for supporting the redesign of organizational work
COCS '95 Proceedings of conference on Organizational computing systems
Formal refinement patterns for goal-driven requirements elaboration
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Understanding “why” in software process modelling, analysis, and design
ICSE '94 Proceedings of the 16th international conference on Software engineering
Inferring Declarative Requirements Specifications from Operational Scenarios
IEEE Transactions on Software Engineering
Integrating obstacles in goal-driven requirements engineering
Proceedings of the 20th international conference on Software engineering
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Requirements engineering in the year 00: a research perspective
Proceedings of the 22nd international conference on Software engineering
Handling Obstacles in Goal-Oriented Requirements Engineering
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Knowledge-Based Automation of a Design Method for Concurrent Systems
IEEE Transactions on Software Engineering
Agent-based tactics for goal-oriented requirements elaboration
Proceedings of the 24th International Conference on Software Engineering
Deriving operational software specifications from system goals
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Test Case Generation as an AI Planning Problem
Automated Software Engineering
Deriving operational software specifications from system goals
ACM SIGSOFT Software Engineering Notes
AI Planner Assisted Test Generation
Software Quality Control
A Data/Knowledge Paradigm for the Modeling and Design of Operations Support Systems
IEEE Transactions on Knowledge and Data Engineering
Knowledge-Based Software Architectures: Acquisition, Specification, and Verification
IEEE Transactions on Knowledge and Data Engineering
Partial design recovery using dynamic programming
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Planner Based Error Recovery Testing
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Requirements interaction management
ACM Computing Surveys (CSUR)
Reconciling System Requirements and Runtime Behavior
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Web Intelligence and Agent Systems
Rapid goal-oriented automated software testing using MEA-graph planning
Software Quality Control
Towards a theory on the role of ontologies in software engineering problem solving
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Discovery and diagnosis of behavioral transitions in patient event streams
ACM Transactions on Management Information Systems (TMIS)
Hi-index | 0.00 |
The design process that spans the gap between the requirements acquisition process and the implementation process, in which the basic architecture of a system is defined, and functions are allocated to software, hardware, and human agents. is studied. The authors call this process composite system design. The goal is an interactive model of composite system design incorporating deficiency-driven design, formal analysis, incremental design and rationalization, and design reuse. They discuss knowledge representations and reasoning techniques that support these goals for the product (composite system) that they are designing, and for the design process. To evaluate the model, the authors report on its use to reconstruct the design of two existing composite systems rationally.