1236 search results - page 116 / 248 » From Conceptual Modeling to Requirements Engineering |
166
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
There have been several authoring methods proposed in the literature that are model based, essentially following the Model Driven Design philosophy. While useful, such methods nee...
186
click to vote
SERA
2010
Springer
15 years 4 months ago
2010
Springer
—Information systems are expected to satisfy increasingly ambitious requirements, while reducing time–to–market has become a primary objective. This trend has necessitated th...
151
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
Abstract— In bounded model checking (BMC)-based verification flows lack of reachability constraints often leads to false negatives. At present, it is daily practice of a veri...
182
click to vote
APSEC
1999
IEEE
15 years 10 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
181
click to vote
TAGT
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Management of development processes in di erent engineering disciplines is a challenging task. We present an integrated approach which covers not only the activities to b...