Abstract | ||
---|---|---|
The use of formal methods in real project is still a challenge. The paper reports the results of a Trial Project, partially funded by the European Communities, with the goal to measure difficulties and benefits associated with the use of integrated graphical and textual formal specification languages. The reference application used for the trial project was the development of a platform door control function of a more complex system in the field of railway applications. |
Year | DOI | Venue |
---|---|---|
1998 | 10.1007/3-540-49646-7_18 | SAFECOMP |
Keywords | Field | DocType |
formal method,real project,railway application,usegat project,complex system,textual formal specification language,trial project,formal methods,reference application,integrated graphical,european communities,platform door control function | Specification language,Systems engineering,Computer science,Engineering management,Algorithm,Formal specification,Project management triangle,Project planning,Software development process,Systems development life cycle,Formal methods,Project charter | Conference |
Volume | ISSN | ISBN |
1516 | 0302-9743 | 3-540-65110-1 |
Citations | PageRank | References |
0 | 0.34 | 1 |
Authors | ||
8 |
Name | Order | Citations | PageRank |
---|---|---|---|
sandro bologna | 1 | 99 | 17.81 |
Rocco Bove | 2 | 0 | 0.34 |
Giovanni Dipoppa | 3 | 10 | 2.60 |
Giorgio Mongardi | 4 | 69 | 6.34 |
Gino Biondi | 5 | 0 | 0.34 |
Carmen Porzia | 6 | 8 | 1.24 |
Benny Graft Mortensen | 7 | 0 | 0.34 |
Niels Kirkegaard | 8 | 0 | 0.34 |