1481 search results - page 30 / 297 » Enriching the Software Development Process by Formal Methods |
116
click to vote
FM
2003
Springer
15 years 8 months ago
2003
Springer
This paper describes the lessons we learned over a thirteen year period while helping to develop the shutdown systems for the nuclear generating station at Darlington, Ontario, Can...
125
click to vote
CLEIEJ
2010
15 years 17 days ago
2010
This work presents a method for the definition of process capability profiles lined up with the specific business model of small software companies. The developed method is made u...
136
click to vote
APN
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Software performance engineering deals with the consideration of quantitative analysis of the behaviour of software systems from the early development phases in the life ...
107
Voted
SIGMOD
2003
ACM
16 years 3 months ago
2003
ACM
We provide a concise yet complete formal definition of the semantics of XPath 1 and summarize efficient algorithms for processing queries in this language. Our presentation is int...
181
click to vote
SEW
2006
IEEE
15 years 9 months ago
2006
IEEE
Established software development processes focus on delivering software within time and budget according to a set of requirements. However, practical experiences show that neither...