10241 search results - page 92 / 2049 » Goal-Driven Software Development |
IASTEDSE
2004
13 years 10 months ago
2004
This paper presents a development process with particular focus on non-functional properties. The process is built around the concept of measurements at different levels of abstra...
CADE
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Symbolic reasoning is in the core of many software development tools such as: bug-finders, test-case generators, and verifiers. Of renewed interest is the use of symbolic...
ICSE
2003
IEEE-ACM
14 years 9 months ago
2003
IEEE-ACM
An Open Source Software (OSS) project is unlikely to be successful unless there is an accompanied community that provides the platform for developers and users to collaborate. Mem...
WIKIS
2009
ACM
14 years 3 months ago
2009
ACM
Software development is a knowledge-intensive activity and frequently implies a progressive crystallization of knowledge, towards programming language statements. Although wikis h...
ECBS
2005
IEEE
14 years 2 months ago
2005
IEEE
At the 2004 Engineering of Computer Based Systems (ECBS) Technical Committee meeting, the ECBS Executive Committee agreed that a guideline on Integrated System and Software Engine...