Elements of categorical reasoning: products and coproducts and some other (co-) limits
Proceedings of a tutorial and workshop on Category theory and computer programming
Abstract and concrete categories
Abstract and concrete categories
A translation approach to portable ontology specifications
Knowledge Acquisition - Special issue: Current issues in knowledge modeling
Object Oriented Design Measurement
Object Oriented Design Measurement
Requirements Engineering: Processes and Techniques
Requirements Engineering: Processes and Techniques
Introduction to Automata Theory, Languages and Computability
Introduction to Automata Theory, Languages and Computability
Management of Evolving Specifications using Category Theory
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
A Formal Foundation for Object-Oriented Software Evolution
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Requirements Volatility and Defect Density
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Software Requirements
Categories for Software Engineering
Categories for Software Engineering
Argumentation-based negotiation
The Knowledge Engineering Review
Argumentation and the Dynamics of Warranted Beliefs in Changing Environments
Autonomous Agents and Multi-Agent Systems
Mutation Mining--A Prospector's Tale
Information Systems Frontiers
IBM Systems Journal - Model-driven software development
Semantic web infrastructure for fungal enzyme biotechnologists
Web Semantics: Science, Services and Agents on the World Wide Web
Formalizing Ontology Alignment and its Operations with Category Theory
Proceedings of the 2006 conference on Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006)
Architectures for negotiating agents
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
Incremental biomedical ontology change management through learning agents
KES-AMSTA'08 Proceedings of the 2nd KES International conference on Agent and multi-agent systems: technologies and applications
A framework for ontology evolution in collaborative environments
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Automating proofs in category theory
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Strategic health information management and forecast: the birdwatching approach
ICCCI'10 Proceedings of the Second international conference on Computational collective intelligence: technologies and applications - Volume Part III
Hi-index | 0.00 |
Requirement volatility is an issue in software engineering in general, and in Web-based clinical applications in particular, which often originates from an incomplete knowledge of the domain of interest. With advances in the health science, many features and functionalities need to be added to, or removed from, existing software applications in the biomedical domain. At the same time, the increasing complexity of biomedical systems makes them more difficult to understand, and consequently it is more difficult to define their requirements, which contributes considerably to their volatility. In this paper, we present a novel agent-based approach for analyzing and managing volatile and dynamic requirements in an ontology-driven laboratory information management system (LIMS) designed for Web-based case reporting in medical mycology. The proposed framework is empowered with ontologies and formalized using category theory to provide a deep and common understanding of the functional and nonfunctional requirement hierarchies and their interrelations, and to trace the effects of a change on the conceptual framework.