Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
ACM Transactions on Database Systems (TODS)
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
From object-oriented to goal-oriented requirements analysis
Communications of the ACM
On agent-based software engineering
Artificial Intelligence
FORM: A feature-oriented reuse method with domain-specific reference architectures
Annals of Software Engineering
ER '02 Proceedings of the 21st International Conference on Conceptual Modeling
Modelling strategic relationships for process reengineering
Modelling strategic relationships for process reengineering
Tropos: An Agent-Oriented Software Development Methodology
Autonomous Agents and Multi-Agent Systems
Ontology Based Context Modeling and Reasoning using OWL
PERCOMW '04 Proceedings of the Second IEEE Annual Conference on Pervasive Computing and Communications Workshops
A Software Engineering Framework for Context-Aware Pervasive Computing
PERCOM '04 Proceedings of the Second IEEE International Conference on Pervasive Computing and Communications (PerCom'04)
Communications of the ACM - The disappearing computer
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
Hierarchical Situation Modeling and Reasoning for Pervasive Computing
SEUS-WCCIA '06 Proceedings of the The Fourth IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, and the Second International Workshop on Collaborative Computing, Integration, and Assurance (SEUS-WCCIA'06)
Mobile Information Systems: Infrastructure and Design for Adaptivity and Flexibility
Mobile Information Systems: Infrastructure and Design for Adaptivity and Flexibility
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
On Goal-based Variability Acquisition and Analysis
RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference
Requirements-driven design of autonomic application software
CASCON '06 Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research
Research areas and challenges for mobile information systems
International Journal of Mobile Communications
Location-Based Software Modeling and Analysis: Tropos-Based Approach
ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
| Hi-index | 0.00 |
Advances in size, power, and ubiquity of computing, sensors, and communication technology made possible the development of mobile or nomadic information systems. Variability of location and system behavior is a central issue in mobile information systems, where behavior of software has to change and re-adapt to the different location settings. This paper concerns modeling and analysis of the complementary relation between software and location variability. We use graphical and formal location modeling techniques, show how to elicit and use location model in conjunction with Tropos goal-oriented framework, and introduce automated analysis on the location-based models.