Sciweavers

6474 search results - page 578 / 1295
» Towards a Systemic Approach to Autonomic Systems Engineering
Sort
View
ISSRE
2010
IEEE
15 years 5 months ago
Automating System Tests Using Declarative Virtual Machines
—Automated regression test suites are an essential software engineering practice: they provide developers with rapid feedback on the impact of changes to a system’s source code...
Sander van der Burg, Eelco Dolstra
MODELS
2010
Springer
15 years 5 months ago
Automatically Discovering Properties That Specify the Latent Behavior of UML Models
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
Heather Goldsby, Betty H. C. Cheng
EJIS
2010
112views more  EJIS 2010»
15 years 7 months ago
Toward an 'IT Conflict-Resistance Theory': action research during IT pre-implementation
Most empirical research on users' resistance toward Information Technology (IT) has been conducted after implementation of IT in organisations. Little research has been done ...
Regis Meissonier, Emmanuel Houzé
COMPSAC
2002
IEEE
16 years 5 days ago
Framework for Goal Driven System Design
Architecture has been identified as a main tool for high quality system development. It encapsulates the earliest design decisions of the system under development. These decisions...
Juha Savolainen, Juha Kuusela
ESAW
2009
Springer
16 years 1 months ago
Agent Architectures for Compliance
A Normative Multi-Agent System consists of autonomous agents who must comply with social norms. Different kinds of norms make different assumptions about the cognitive architecture...
Brigitte Burgemeestre, Joris Hulstijn, Yao-Hua Tan