Sciweavers

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