Sciweavers

932 search results - page 81 / 187
» Improving Requirements Engineering by Quality Modelling - A ...
Sort
View
VSTTE
2005
Springer
14 years 2 months ago
Linking the Meaning of Programs to What the Compiler Can Verify
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
Egon Börger
SIGSOFT
2010
ACM
13 years 7 months ago
LINKSTER: enabling efficient manual inspection and annotation of mined data
While many uses of mined software engineering data are automatic in nature, some techniques and studies either require, or can be improved, by manual methods. Unfortunately, manua...
Christian Bird, Adrian Bachmann, Foyzur Rahman, Ab...
DEXAW
2008
IEEE
98views Database» more  DEXAW 2008»
14 years 3 months ago
Interface for Multidisciplinary Virtual Prototype Components
Computer-based concurrent engineering of products, denoted as Virtual Engineering (VE), is used extensively to meet the requirements of product development. Current research deals...
Stephan Vornholt, Ingolf Geist
WSC
2008
13 years 11 months ago
Practical approach to experimentation in a simulation study
Simulation study of complex production facilities can be a challenging task for manufacturing engineers as it requires skills to build the models and to conduct experiments. Accur...
Benny Tjahjono, Raul Fernandez
ICSE
2004
IEEE-ACM
14 years 9 months ago
Precise Service Level Agreements
SLAng is an XML language for defining service level agreements, the part of a contract between the client and provider of an Internet service that describes the quality attributes...
James Skene, D. Davide Lamanna, Wolfgang Emmerich