3425 search results - page 213 / 685 » A Model Driven Approach for Software Systems Reliability |
131
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...
141
click to vote
SERP
2003
15 years 5 months ago
2003
In recent publications, two prominent approaches can be found which deal with the complexity of large software systems. First, there is the object–oriented approach, where ”ob...
114
click to vote
HUC
2003
Springer
15 years 9 months ago
2003
Springer
Context-aware computing in location-aware environments demands the combination of real world position with a computational world model to infer context. We present a novel approach...
154
click to vote
AC
2004
Springer
15 years 4 months ago
2004
Springer
In today's business where speed is of essence, an iterative development approach that allows the functionality to be delivered in parts has become a necessity and an effectiv...
157
click to vote
FASE
2008
Springer
15 years 5 months ago
2008
Springer
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...