1397 search results - page 34 / 280 » On the Need for Practical Formal Methods |
ZUM
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...
ISQED
2003
IEEE
14 years 28 days ago
2003
IEEE
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...
ENTCS
2006
13 years 7 months ago
2006
The application of formal methods to security protocol analysis has been extensively researched during the last 25 years. Several formalisms and (semi-)automatic tools for the ver...
HICSS
2009
IEEE
14 years 2 months ago
2009
IEEE
Information systems (IS) researchers have made considerable progress on defining and formalizing structured methods to support collaborative development of information systems. Co...
RCIS
2010
13 years 6 months ago
2010
This focus group study presents our first validation of practices for engineering the coordination requirements in cross organizational Enterprise Resource Planning (ERP) project...