3799 search results - page 413 / 760 » An Engineering Approach to Formal Methods |
186
click to vote
WER
2007
Springer
16 years 26 days ago
2007
Springer
Since 1996, the core Use Case Map (UCM) notation has remained remarkably stable. As the structure and intent of workflow and scenario languages are very similar, UCMs have been ap...
159
click to vote
ERLANG
2006
ACM
16 years 22 days ago
2006
ACM
We present a case study in which a novel testing tool, Quviq QuickCheck, is used to test an industrial implementation of the Megaco protocol. We considered positive and negative t...
169
click to vote
CODES
2003
IEEE
16 years 2 days ago
2003
IEEE
Current methods cannot synthesize real-time embedded software applications when the global deadline of a task is shorter than the total of all local deadlines along a critical pat...
148
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
A transactional workflow is composed of traditional flat transactions, and its execution has relaxed transactional atomicity. Due to different termination characteristics of trans...
157
click to vote
ISSTA
1993
ACM
15 years 11 months ago
1993
ACM
Most of the effort that goes into improving the quality of software paradoxically does not lead to quantitative, measurable quality. Software developers and quality-assurance orga...