1481 search results - page 18 / 297 » Enriching the Software Development Process by Formal Methods |
128
click to vote
TFM
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We summarise our experiences in teaching two formal methods courses at Pontificia Universidad Javeriana. The first course is a JML-based software engineering course. Th...
121
Voted
ECIS
2003
15 years 4 months ago
2003
Knowledge transfer is one of the key problem areas in knowledge management. This paper focuses on the transfer of knowledge about the software development process. There is an aim...
167
click to vote
SIGCSE
2002
ACM
15 years 2 months ago
2002
ACM
Empirical evidence shows the ability for computer technology to deliver on its promises of enhancing our quality of life relies on how well the application fits our understanding ...
108
Voted
ICFEM
2009
Springer
15 years 9 months ago
2009
Springer
It is believed that reusability in formal development should reduce the time and cost of formal modelling within a production environment. Along with the ability to reuse formal mo...
136
Voted
SERA
2010
Springer
15 years 1 months ago
2010
Springer
—Information systems are expected to satisfy increasingly ambitious requirements, while reducing time–to–market has become a primary objective. This trend has necessitated th...