770 search results - page 123 / 154 » Agile requirements engineering with prototyping: A case stud... |
TACAS
1998
Springer
15 years 3 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
106
click to vote
COMPGEOM
2005
ACM
15 years 28 days ago
2005
ACM
We consider the problem of computing a representation of the plane graph induced by one (or more) algebraic curves in the real plane. We make no assumptions about the curves, in p...
JUCS
2008
14 years 11 months ago
2008
Abstract: Reuse of software entities such as components or Web services raise composition issues since, most of the time, they present mismatches in their interfaces. These mismatc...
72
Voted
SIGSOFT
2006
ACM
15 years 11 months ago
2006
ACM
Atomicity is a desirable property for business processes to conduct transactions in Business-to-Business (B2B) collaboration. Although it is possible to reason about atomicity of ...
WCRE
2009
IEEE
15 years 5 months ago
2009
IEEE
Feature models are widely employed in domainspecific software development to specify the domain requirements with commonality and variability. A feature model is usually construct...