4476 search results - page 274 / 896 » Modeling software architectures in the Unified Modeling Lang... |
197
click to vote
FSTTCS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Regular Model-Checking (RMC) is a technique for the formal verification of infinite state systems based on the theory of regular languages. In the paper “Beyond Regul...
188
click to vote
ERSHOV
2006
Springer
15 years 8 months ago
2006
Springer
Graph transformations are one of the best known approaches for defining transformations in model-based software development. They are defined over the abstract syntax of source and...
182
click to vote
CBSE
2006
Springer
15 years 10 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
177
click to vote
BIS
2006
15 years 8 months ago
2006
Abstract. Business process models, often modelled using graphical languages like UML, serve as a base for communication between the stakeholders in the software development process...
181
click to vote
MDM
2001
Springer
15 years 11 months ago
2001
Springer
We advocate the use of agents to model a system that allows us to integrate and protect information stored in both mobile and fixed devices, while trying to preserve a consistent a...