1926 search results - page 185 / 386 » Modeling and Model Checking Software Product Lines |
175
click to vote
ENGL
2008
15 years 6 months ago
2008
Prototyping is a technique widely used in many engineering fields. However, in software engineering, its usage is limited to requirement elicitation. Little research has been done ...
149
click to vote
SEFM
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper addresses the issue of guaranteeing the correctness of fault diagnosis mechanisms in multi-agent systems. We propose an automated approach to verifying the property o...
161
click to vote
ADAEUROPE
2008
Springer
15 years 8 months ago
2008
Springer
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
160
click to vote
CAISE
2001
Springer
15 years 11 months ago
2001
Springer
Reactive systems are systems whose purpose is to maintain a certain desirable state of affairs in their environment, and include information systems, groupware, workflow systems,...
157
click to vote
IJAOSE
2008
15 years 6 months ago
2008
: Even if Multiagent Systems (MASs) are recognised as an appealing paradigm for designing many computer systems ranging from complex distributed systems to intelligent software app...