1415 search results - page 139 / 283 » Verified systems by composition from verified components |
175
click to vote
ISSTA
2000
ACM
15 years 10 months ago
2000
ACM
Increasing numbers of software developers are using the Unified Modeling Language (UML) and associated visual modeling tools as a basis for the design and implementation of their ...
185
click to vote
IEEECIT
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—Model-driven development has become the stateof-the-art approach for designing embedded real-time systems. heir high level of abstraction, models are easier to understan...
137
click to vote
DATE
2007
IEEE
16 years 22 days ago
2007
IEEE
AUTOSAR is a recent specification initiative which focuses on a model-driven architecture like methodology for automotive applications. However, needed engineering steps, or how-t...
167
click to vote
ICCSA
2005
Springer
15 years 12 months ago
2005
Springer
The limitation of network resource reduces the awareness capability of CVE system, which becomes the main bottleneck for applications in Internet. In this paper, we study the relat...
151
click to vote
BPM
2004
Springer
15 years 11 months ago
2004
Springer
For the integration of electronic negotiation systems within information systems, it is essential to model both using the same modelling paradigm to avoid frictions. We develop a g...