369 search results - page 48 / 74 » Verification of UML Model Elements Using B |
DAC
2007
ACM
13 years 11 months ago
2007
ACM
We present a framework for validating the compliance of a design with a given architecture. Our approach is centered on the concept of misinterpretations. These include missing be...
COMPUTER
2006
13 years 7 months ago
2006
Model-driven development (MDD) is an emerging paradigm that improves the software development lifecycle, particularly for large software systems by providing a higherabstraction fo...
WSC
2008
13 years 10 months ago
2008
Typically, system dynamics-based simulations of business processes are constructed in an ad hoc manner, with a modeler creating low-level components and defining interrelationship...
JSAC
2010
13 years 6 months ago
2010
—We study broadcasting of information in a system of moving agents equipped with omnidirectional as well as directional antenna. The agent communication protocol is inspired by t...
CAV
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. We address the verification problem of programs manipulating oneselector linked data structures. We propose a new automated approach for checking safety and termination f...