Sciweavers

1405 search results - page 163 / 281
» Software engineering for and with artists: a case study
Sort
View
COMPSAC
2008
IEEE
13 years 12 months ago
Specifying Behavioural Features of Design Patterns in First Order Logic
The formal specification of design patterns is widely recognised as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
Ian Bayley, Hong Zhu
RE
2006
Springer
13 years 10 months ago
Using Domain Ontology as Domain Knowledge for Requirements Elicitation
Domain knowledge is one of crucial factors to get a great success in requirements elicitation of high quality, and only domain experts, not requirements analysts, have it. We prop...
Haruhiko Kaiya, Motoshi Saeki
ISSE
2010
13 years 8 months ago
A second look at Faster, Better, Cheaper
“Faster, Better, Cheaper” (FBC) was a systems development methodology used by NASA in the 1990s. While usually a deprecated practice, we find that, with certain caveats, it is...
Oussama El-Rawas, Tim Menzies
FOSSACS
2005
Springer
14 years 3 months ago
Axiomatizations for Probabilistic Finite-State Behaviors
Abstract. We study a process calculus which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch’s probabilistic automata. We consider vario...
Yuxin Deng, Catuscia Palamidessi
INFSOF
2008
108views more  INFSOF 2008»
13 years 10 months ago
Effectively utilizing project, product and process knowledge
Improving project management, product development and engineering processes is for many companies crucial to survive in a fast changing environment. However, these activities are ...
Christof Ebert, Jozef De Man