Sciweavers

2984 search results - page 367 / 597
» Method engineering process patterns
Sort
View
177
Voted
SIGMOD
2008
ACM
145views Database» more  SIGMOD 2008»
16 years 2 months ago
Optimizing complex queries with multiple relation instances
Today's query processing engines do not take advantage of the multiple occurrences of a relation in a query to improve performance. Instead, each instance is treated as a dis...
Yu Cao, Gopal C. Das, Chee Yong Chan, Kian-Lee Tan
JSS
2002
90views more  JSS 2002»
15 years 1 months ago
Producing reliable software: an experiment
A customer of high assurance software recently sponsored a software engineering experiment in which a small real-time software system was developed concurrently by two popular sof...
Carol Smidts, Xin Huang, James C. Widmaier
JUCS
2008
115views more  JUCS 2008»
15 years 2 months ago
Capturing Interaction Requirements in a Model Transformation Technology Based on MDA
: Currently, many models are used to capture functional software requirements. However, the Software Engineering community has faded interaction requirements into the background, d...
José Ignacio Panach, Sergio España, ...
FOSSACS
2009
Springer
15 years 9 months ago
Bisimulation for Demonic Schedulers
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...
Konstantinos Chatzikokolakis, Gethin Norman, David...
96
Voted
AGILEDC
2003
IEEE
15 years 7 months ago
Making Agile Development Work in a Government Contracting Environment - Measuring velocity with Earned Value
: Before any of the current “agile” development methods, Earned Value Management provided information for planning and controlling complex projects by measuring how much “val...
Glen B. Alleman, Michael Henderson, Ray Seggelke