2836 search results - page 332 / 568 » Model Checking for Software Architectures |
179
click to vote
HICSS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes an architecture for building distributed information systems from existing information resources, based on software agent and distributed object technologies....
187
click to vote
ASWEC
2009
IEEE
16 years 1 months ago
2009
IEEE
We propose a novel methodology for analysing change propagation in software using the domain-level behavioural model of a system. We hypothesize that change propagation analysis i...
187
click to vote
ICSEA
2008
IEEE
16 years 1 months ago
2008
IEEE
In order to increase efficiency, enterprises support their business processes by information technology (IT). The majority of business processes requires human interaction. By mea...
177
click to vote
GI
2005
Springer
16 years 5 days ago
2005
Springer
: A software application is related to the processes it supports. Today, UML diagrams esp. use case diagrams and activity diagrams are often used to model the relevant aspects of t...
185
click to vote
ICFEM
2003
Springer
15 years 12 months ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...