Sciweavers

5970 search results - page 96 / 1194
» Management Information Model Engineering
Sort
View
ISSRE
2000
IEEE
15 years 7 months ago
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools
The Unified Modeling Language, UML, is the objectoriented notation adopted as the standard for objectoriented Analysis and Design by the Object Management Group. This paper report...
José Luis Fernández Alemán, J...
132
Voted
PERCOM
2005
ACM
16 years 2 months ago
Applying a Disciplined Approach to the Development of a Context-Aware Communication Application
Pervasive computing applications must be engineered to provide unprecedented levels of flexibility in order to reconfigure and adapt in response to changes in computing resources ...
Ted McFadden, Karen Henricksen, Jadwiga Indulska, ...
CAISE
2006
Springer
15 years 6 months ago
Designing Security Requirements Models Through Planning
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mech...
Volha Bryl, Fabio Massacci, John Mylopoulos, Nicol...
POLICY
2005
Springer
15 years 8 months ago
Relationship-Driven Policy Engineering for Autonomic Organisations
Autonomic systems are needed to self-manage the increasing complexity of pervasive communications access and the ubiquitous computing services it offers to humans. Policy based go...
Kevin Feeney, Karl Quinn, David Lewis, Declan O'Su...
ISESE
2003
IEEE
15 years 7 months ago
Analogy Based Prediction of Work Item Flow in Software Projects: a Case Study
A software development project coordinates work by using work items that represent customer, tester, and developer found defects, enhancements, and new features. We set out to fac...
Audris Mockus