Sciweavers

1397 search results - page 4 / 280
» On the Need for Practical Formal Methods
Sort
View
JUCS
2007
77views more  JUCS 2007»
13 years 5 months ago
Formal Methods: Theory Becoming Practice
Jean-Raymond Abrial
SCP
2002
68views more  SCP 2002»
13 years 5 months ago
Formal methods in practice
Wolfgang Polak
ESWS
2010
Springer
13 years 9 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
FM
2005
Springer
92views Formal Methods» more  FM 2005»
13 years 11 months ago
Model-Based Testing in Practice
Alexander Pretschner