358 search results - page 13 / 72 » Introducing Formal Specification Methods in Industrial Pract... |
ENTCS
2006
13 years 7 months ago
2006
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...
QSIC
2003
IEEE
14 years 23 days ago
2003
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...
ARTS
1997
Springer
13 years 11 months ago
1997
Springer
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
APSEC
2000
IEEE
13 years 11 months ago
2000
IEEE
SOFL is a formal language and method for system specification and design. As a language it is an integration of Petri nets, Data Flow Diagrams, and VDM-SL. As a method it is a com...
TELSYS
2002
13 years 7 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...