1407 search results - page 163 / 282 » Using Use Cases in Executable Z |
158
click to vote
SPLC
2000
15 years 5 months ago
2000
: Framelets and implementation cases are new concepts to manage the complexity of product line development. Framelets are "small product lines" that address, as self-stan...
137
click to vote
WECWIS
2009
IEEE
15 years 11 months ago
2009
IEEE
Mainstream business process modelling techniques promote a design paradigm wherein the activities that may be performed within a case, together with their usual execution order, f...
109
click to vote
MICRO
2008
IEEE
15 years 10 months ago
2008
IEEE
Optimizing the common case has been an adage in decades of processor design practices. However, as the system complexity and optimization techniques’ sophistication have increas...
130
click to vote
QSIC
2005
IEEE
15 years 9 months ago
2005
IEEE
Testing applications in service-oriented architecture (SOA) environments needs to deal with issues like the unknown communication partners until the service discovery, the impreci...
166
click to vote
RTA
2005
Springer
15 years 9 months ago
2005
Springer
Cryptographic protocols are small programs which involve a high level of concurrency and which are difficult to analyze by hand. The most successful methods to verify such protocol...