3021 search results - page 505 / 605 » A Domain Engineering Approach for Situational Method Enginee... |
199
click to vote
CONEXT
2005
ACM
15 years 8 months ago
2005
ACM
In recent years, much work has been done on attempting to scale multicast data transmission to hundreds or thousands of receivers. There are, however, many situations where an app...
146
click to vote
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
197
click to vote
TASE
2011
IEEE
14 years 9 months ago
2011
IEEE
Abstract—A fast offset surface generation approach is presented in this paper to construct intersection-free offset surfaces, which preserve sharp features, from freeform triangu...
181
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Ever-growing complexity is forcing design to move above RTL. For example, golden functional models are being written as clearly as possible in software and not optimized or intend...
164
click to vote
HICSS
2009
IEEE
16 years 29 days ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...