Article (Scientific journals)
The meaning of formal: from weak to strong formal methods
Wolper, Pierre
1997In International Journal on Software Tools for Technology Transfer, 1 (1-2), p. 6-8
Peer Reviewed verified by ORBi
 

Files


Full Text
wolper 1997 author pp.pdf
Author preprint (62.33 kB)
Download

The final publication is available at Springer via http://dx.doi.org/10.1007/s100090050002


All documents in ORBi are protected by a user license.

Send to



Details



Keywords :
formal methods
Abstract :
[en] This short note reflects on what makes formal methods "formal". It concludes that there are weak and strong ways of being formal, the latter being linked to the formality of the method being exploitable, and exploited, in software tools.
Disciplines :
Computer science
Author, co-author :
Wolper, Pierre  ;  Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique
Language :
English
Title :
The meaning of formal: from weak to strong formal methods
Publication date :
1997
Journal title :
International Journal on Software Tools for Technology Transfer
ISSN :
1433-2779
eISSN :
1433-2787
Publisher :
Springer
Volume :
1
Issue :
1-2
Pages :
6-8
Peer reviewed :
Peer Reviewed verified by ORBi
Available on ORBi :
since 04 March 2014

Statistics


Number of views
53 (3 by ULiège)
Number of downloads
195 (0 by ULiège)

Scopus citations®
 
13
Scopus citations®
without self-citations
13
OpenCitations
 
6

Bibliography


Similar publications



Contact ORBi