4139 search results - page 272 / 828 » Designing and Implementing Combinator Languages |
147
click to vote
FORTE
2001
15 years 6 months ago
2001
Use cases are useful in various stages of the software process. They are very often described using text that has to be interpreted by system designers. This could lead to implemen...
174
click to vote
HASE
2008
IEEE
15 years 5 months ago
2008
IEEE
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
131
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
—Ubiquitous service composition provides new services and applications seamlessly by establishing cooperation among any devices in home networks and any services in service provi...
137
click to vote
GTTSE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This tutorial explores the design space of heterogeneous synchronization, which is concerned with establishing consistency among artifacts that conform to different sche...
145
Voted
ISSRE
2003
IEEE
15 years 10 months ago
2003
IEEE
Systematic design testing, in which executable models of behaviors are tested using inputs that exercise scenarios, can help reveal flaws in designs before they are implemented i...