Sciweavers

9227 search results - page 136 / 1846
» Developing Use Cases from Organizational Modeling
Sort
View
BIRTHDAY
2007
Springer
15 years 10 months ago
Models and Software Model Checking of a Distributed File Replication System
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
Nikolaj Bjørner
142
Voted
ICWE
2010
Springer
15 years 3 months ago
Rapid Development of Composite Applications Using Annotated Web Services
Abstract. Developing service-based interactive applications is time consuming and nontrivial. Annotating web services with additional information about the user interface and behav...
Lars Dannecker, Marius Feldmann, Tobias Nestler, G...
137
Voted
ISPE
2003
15 years 6 months ago
Enterprise modelling and the UML: (sometimes) a conflict without a case
: Nowadays, the UML language is one of the most widely accepted software modelling language. Enterprise modelling is concerned with the externalisation of knowledge about the en...
G. Berio, M. Petit
LCN
2003
IEEE
15 years 10 months ago
A Worst-Case Model for Co-Channel Interference in the Bluetooth Wireless System
This paper presents a model for the expected throughput in a Bluetooth network in presence of a number of other Bluetooth networks that cause radio interference. The analysis cons...
Simon Baatz, Matthias Frank, Peter Martini, Christ...
SPIN
1999
Springer
15 years 8 months ago
Assume-Guarantee Model Checking of Software: A Comparative Case Study
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
Corina S. Pasareanu, Matthew B. Dwyer, Michael Hut...