Sciweavers

1397 search results - page 4 / 280
» On the Need for Practical Formal Methods
Sort
View
112
Voted
IFIP
1994
Springer
15 years 9 months ago
The Theory and Practice of A Formal Method: NewCoRe
Gerard J. Holzmann
106
Voted
JUCS
2007
77views more  JUCS 2007»
15 years 5 months ago
Formal Methods: Theory Becoming Practice
Jean-Raymond Abrial
108
Voted
SCP
2002
68views more  SCP 2002»
15 years 4 months ago
Formal methods in practice
Wolfgang Polak
ESWS
2010
Springer
15 years 8 months ago
Towards Practical Semantic Web Service Discovery
Service orientation is a promising paradigm for offering and consuming functionalities within and across organizations. Ever increasing acceptance of service oriented architecture...
Martin Junghans, Sudhir Agarwal, Rudi Studer
113
Voted
FM
2005
Springer
92views Formal Methods» more  FM 2005»
15 years 10 months ago
Model-Based Testing in Practice
Alexander Pretschner