170 search results - page 12 / 34 » Formal Methods Application: An Empirical Tale of Software De... |
165
Voted
AGILEDC
2008
IEEE
15 years 10 months ago
2008
IEEE
A core principle of Agile development is to satisfy the customer by providing valuable software on an early and continuous basis. For a software application to be valuable it shou...
143
Voted
SEFM
2005
IEEE
15 years 9 months ago
2005
IEEE
The development of test cases is an important issue for testing software, communication protocols and other reactive systems. A number of methods are known for the development of ...
150
Voted
CAISE
2010
Springer
15 years 4 months ago
2010
Springer
Despite advances in situational method engineering, many software organizations continue to adopt an ad-hoc mix of method fragments from wellknown development methods such as Scrum...
138
Voted
SAFECOMP
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
143
Voted
SAC
2009
ACM
15 years 10 months ago
2009
ACM
Software developers use testing to gain and maintain confidence in the correctness of a software system. Automated reduction and prioritization techniques attempt to decrease the...