1601 search results - page 7 / 321 » The affordable application of formal methods to software eng... |
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
The design of distributed applications in a CORBA based environment can be carried out by means of an incremental approach, which starts from the specification and leads to the hi...
AMAST
1997
Springer
13 years 11 months ago
1997
Springer
Abstract. We summarize the results of several experiments in applying a metamethod for formal method integration [18, 19]. We provide a small example of using an instance of integr...
ICSE
1999
IEEE-ACM
13 years 12 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
ICFEM
2004
Springer
14 years 1 months ago
2004
Springer
AGILEDC
2007
IEEE
14 years 1 months ago
2007
IEEE
This experience report describes a three year journey toward agility in a software engineering course. Students in the course work in small project teams to develop an application...