2836 search results - page 332 / 568 » Model Checking for Software Architectures |
159
click to vote
HICSS
2000
IEEE
15 years 10 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....
176
Voted
ASWEC
2009
IEEE
16 years 29 days 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...
168
Voted
ICSEA
2008
IEEE
16 years 17 days 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...
159
Voted
GI
2005
Springer
15 years 11 months 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...
168
click to vote
ICFEM
2003
Springer
15 years 11 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...