Sciweavers

6751 search results - page 221 / 1351
» Engineering Quality Requirements Using Quality Models
Sort
View
CAD
2002
Springer
15 years 1 months ago
Integrated modeling, finite-element analysis, and engineering design for thin-shell structures using subdivision
Many engineering design applications require geometric modeling and mechanical simulation of thin flexible structures, such as those found in the automotive and aerospace industri...
Fehmi Cirak, Michael J. Scott, Erik K. Antonsson, ...
LREC
2010
138views Education» more  LREC 2010»
15 years 3 months ago
Human Language Technology and Communicative Disabilities: Requirements and Possibilities for the Future
For some years now, the Nederlandse Taalunie (Dutch Language Union) has been active in promoting the development of human language technology (HLT) applications for users of Dutch...
Marina B. Ruiter, Toni C. M. Rietveld, Catia Cucch...
ASE
2008
135views more  ASE 2008»
15 years 1 months ago
Deriving event-based transition systems from goal-oriented requirements models
Goal-oriented methods are increasingly popular for elaborating software requirements. They offer systematic support for incrementally building intentional, structural, and operati...
Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebasti&...
92
Voted
SEFM
2007
IEEE
15 years 8 months ago
Supporting Proof in a Reactive Development Environment
Reactive integrated development environments for software engineering have lead to an increase in productivity and quality of programs produced. They have done so by replacing the...
Farhad Mehta
RE
2001
Springer
15 years 6 months ago
Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
Margaret H. Smith, Gerard J. Holzmann, Kousha Etes...