8154 search results - page 306 / 1631 » Understanding changes in use cases: A case study |
141
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
The complexity of specification development and verification of large systems has to be mastered. In this paper a specification of a real case study, a platoon of Cristal vehicles ...
171
click to vote
ELPUB
2007
ACM
15 years 10 months ago
2007
ACM
This paper presents a brief summary of the findings of a Web-based survey of the views of Australian publishers, on the potential impact of digital technologies, followed by three...
164
Voted
UML
2001
Springer
15 years 11 months ago
2001
Springer
: UMLAUT is a framework for building tools dedicated to the manipulation of models described using the Unified Modeling Language (UML). TGV is a tool for the generation of conforma...
142
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract--In the majority of studies on CSMA wireless networks, a contention graph is used to model the carrier sensing relationships among links. This is a 0-1 model in which two ...
166
click to vote
WCRE
2006
IEEE
16 years 20 days ago
2006
IEEE
In many areas of software engineering, empirical studies are playing an increasingly important role. This stems from the fact that software technologies are often based on heurist...