5228 search results - page 639 / 1046 » Case Studies for Software Engineers |
185
click to vote
VSTTE
2005
Springer
16 years 15 days ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
162
click to vote
CCE
2006
15 years 7 months ago
2006
The undergraduate process control course and how it is taught is a controversial subject that generates lively discussions among control academicians, control practitioners, and c...
152
click to vote
ENTCS
2006
15 years 7 months ago
2006
Means for the representation of variability in UML 2.0 interactions, as presented in a previous work, are further formalised and given a mathematically formal semantics. In this w...
175
click to vote
FSTTCS
2004
Springer
16 years 12 days ago
2004
Springer
We present a fragment of separation logic oriented to linked lists, and study decision procedures for validity of entailments. The restrictions in the fragment are motivated by the...
163
click to vote
ICSE
2004
IEEE-ACM
16 years 7 months ago
2004
IEEE-ACM
This paper reports on our experiences with using the emerging web service technologies and tools to create a demonstration information broker system as part of our research into i...