Software Engineering: Problems and Perspectives
Computer - IEEE Centennial: the state of computing
Communicating sequential processes
Communicating sequential processes
Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Petr nets, algebras, morphisms, and compositionality
Information and Computation
Hierarchical correctness proofs for distributed algorithms
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
CCS expressions finite state processes, and three problems of equivalence
Information and Computation
Design and validation of computer protocols
Design and validation of computer protocols
Building an evolution transformation library
ICSE '90 Proceedings of the 12th international conference on Software engineering
Telos: representing knowledge about information systems
ACM Transactions on Information Systems (TOIS)
Stubborn sets for reduced state generation
APN 90 Proceedings on Advances in Petri nets 1990
Operational and algebraic semantics of concurrent processes
Handbook of theoretical computer science (vol. B)
Automatic Derivation of Formal Software Specifications from Informal Descriptions
IEEE Transactions on Software Engineering
DAIDA: an environment for evolving information systems
ACM Transactions on Information Systems (TOIS)
Seven Layers of Knowledge Representation and Reasoning in Support of Software Development
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Knowledge Representation and Reasoning in the Design of Composite Systems
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Representing and using nonfunctional requirements: a process-oriented approach
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Supporting Systems Development by Capturing Deliberations During Requirements Engineering
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Supporting Software Designers with Integrated Domain-Oriented Design Environments
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Representation and Presentation of Requirements Knowledge
IEEE Transactions on Software Engineering
Termination, deadlock, and divergence
Journal of the ACM (JACM)
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
Using partial orders for the efficient verification of deadlock freedom and safety properties
Formal Methods in System Design - Special issue on computer-aided verification: special methods II
Model-checking in dense real-time
Information and Computation - Special issue: selections from 1990 IEEE symposium on logic in computer science
Symbolic model checking for real-time systems
Information and Computation
Exploiting style in architectural design environments
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
The weakest deadlock-preserving congruence
Information Processing Letters
Abstractions for Software Architecture and Tools to Support Them
IEEE Transactions on Software Engineering - Special issue on software architecture
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Completeness and Consistency in Hierarchical State-Based Requirements
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
Automated consistency checking of requirements specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Distributed real-time systems: monitoring, visualization, debugging, and analysis
Distributed real-time systems: monitoring, visualization, debugging, and analysis
A graphical environment for the design of concurrent real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Dynamic structure in software architectures
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Using object-oriented typing to support architectural design in the C2 style
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Parallel evaluation of software architecture specifications
Communications of the ACM
An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis
IEEE Transactions on Parallel and Distributed Systems
Formalizing architectural connection
ICSE '94 Proceedings of the 16th international conference on Software engineering
Compositional verification of concurrent systems using Petri-net-based condensation rules
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Knowledge-Based Software Development for Real-Time Distributed Systems
Knowledge-Based Software Development for Real-Time Distributed Systems
Critiquing Software Specifications
IEEE Software
KBMS: A Knowledge-Based System for Modeling Software System Specifications
IEEE Transactions on Knowledge and Data Engineering
Knowledge Intensive Software Engineering Tools
IEEE Transactions on Knowledge and Data Engineering
Dependability of AI Systems: Guest Editor's Introduction
IEEE Transactions on Knowledge and Data Engineering
A Logic-Based Transformation System
IEEE Transactions on Knowledge and Data Engineering
Lockheed Environment for Automatic Programming
IEEE Expert: Intelligent Systems and Their Applications
Rule Chaining in Marvel: Dynamic Binding of Parameters
IEEE Expert: Intelligent Systems and Their Applications
Developing Formal Specifications from Informal Requirements
IEEE Expert: Intelligent Systems and Their Applications
Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis
IEEE Transactions on Software Engineering
An Event-Based Architecture Definition Language
IEEE Transactions on Software Engineering
Efficient Compositional State-Space Verification for Communicating Processes in Distributed Systems
HASE '97 Proceedings of the 2nd High-Assurance Systems Engineering Workshop
Partial-Order Reduction in Symbolic State Space Exploration
CAV '97 Proceedings of the 9th International Conference on Computer Aided Verification
An Algebraic Semantics for Hierarchical P/T Nets
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
Petri nets and algebraic calculi of processes
Advances in Petri Nets 1985, covers the 6th European Workshop on Applications and Theory in Petri Nets-selected papers
Checking properties of nets using transformation
Advances in Petri Nets 1985, covers the 6th European Workshop on Applications and Theory in Petri Nets-selected papers
Incremental Model Checking in the Modal Mu-Calculus
CAV '94 Proceedings of the 6th International Conference on Computer Aided Verification
Compositional Analysis with Place-Bordered Subnets
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
On Blocks: Locality and Asynchronous Communication (Extended Abstract)
Proceedings of the REX Workshop on Sematics: Foundations and Applications
CAV '93 Proceedings of the 5th International Conference on Computer Aided Verification
A new compositional method for condensed state-space verification
HASE '96 Proceedings of the 1996 High-Assurance Systems Engineering Workshop
A Survey of Architecture Description Languages
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Experiences Using Domain Specific Techniques within Multimedia Software Engineering
Annals of Software Engineering
KJ3: a tool assisting formal validation of knowledge-based systems
International Journal of Human-Computer Studies
Journal of Systems and Software
Hi-index | 0.00 |
The concept of knowledge-based software architecture has recently emerged as a new way to improve our ability to effectively construct and maintain complex large-scale software systems. Under this new paradigm, software engineers are able to do evolutionary design of complex systems through architecture specification, design rationale capture, architecture validation and verification, and architecture transformation. This paper surveys some of the important techniques that have been developed to support these activities. In particular, we are interested in knowledge/requirement acquisition and analysis. We survey some tools that use the knowledge-based approach to solve these problems. We also discuss various software architecture styles, architecture description languages (ADLs), and features of ADLs that help build better software systems. We then compare various ADLs based on these features. The efficient methods that were developed for verification, validation, and high assurance of architectures are also discussed. Based on our survey results, we give a basis for comparing the various knowledge-based systems and list these comparisons in the form of a table.