Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE Comput. Soc

0769500811

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Transferring formal methods technology to industry

Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques ◽

10.1109/wift.1998.766306 ◽

2005 ◽

Author(s):

L.J. Jagadeesan ◽

P. Godefroid ◽

J. Kelly ◽

S. Miller ◽

F. Weil

Keyword(s):

Formal Methods

Download Full-text

Integrating formal and informal specification techniques. why? how?

Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques ◽

10.1109/wift.1998.766297 ◽

2005 ◽

Cited By ~ 4

Author(s):

J.-M. Bruel ◽

B. Cheng ◽

S. Easterbrook ◽

R. France ◽

B. Rumpe

Keyword(s):

Specification Techniques

Download Full-text

AETG/sup SM/ Web: a Web based service for automatic efficient test generation from functional requirements

Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques ◽

10.1109/wift.1998.766301 ◽

2002 ◽

Cited By ~ 1

Author(s):

S.R. Dalal ◽

A. Jain ◽

G. Patton ◽

M. Rathi ◽

P. Seymour

Keyword(s):

Test Generation ◽

Functional Requirements ◽

Web Based ◽

Efficient Test

Download Full-text

Implementing statecharts in PROMELA/SPIN

Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques ◽

10.1109/wift.1998.766303 ◽

2002 ◽

Cited By ~ 13

Author(s):

E. Mikk ◽

Y. Lakhnech ◽

M. Siegel ◽

G.J. Holzmann

Download Full-text

Selection criteria for automated TTCN test case generation from SDL

Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques ◽

10.1109/wift.1998.766286 ◽

2002 ◽

Author(s):

L. Mats

Keyword(s):

Selection Criteria ◽

Test Case Generation ◽

Test Case

Download Full-text

Formal techniques for automatically generating marshalling code from high-level specifications

Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques ◽

10.1109/wift.1998.766296 ◽

2002 ◽

Cited By ~ 1

Author(s):

P. Dietz ◽

T. Weigert ◽

F. Weil

Keyword(s):

High Level ◽

Formal Techniques

Download Full-text

Adding real-time filters to object-oriented specification of time critical systems

Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques ◽

10.1109/wift.1998.766295 ◽

2002 ◽

Cited By ~ 3

Author(s):

K. Periyasamy ◽

V.S. Alagar

Keyword(s):

Real Time ◽

Object Oriented ◽

Critical Systems ◽

Time Critical

Download Full-text

Applying SOFL to specify a railway crossing controller for industry

Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques ◽

10.1109/wift.1998.766294 ◽

2002 ◽

Author(s):

Shaoying Liu ◽

M. Asuka ◽

K. Komaya ◽

Y. Nakamura

Keyword(s):

Railway Crossing

Download Full-text

Using the SCR* toolset to specify software requirements

Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques ◽

10.1109/wift.1998.766290 ◽

2002 ◽

Cited By ~ 2

Author(s):

C. Heitmeyer

Keyword(s):

Software Requirements

Download Full-text

A discussion about integrated techniques

Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques ◽

10.1109/wift.1998.766299 ◽

2002 ◽

Author(s):

B.H.C. Cheng ◽

R. France

Download Full-text

Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification TechniquesLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE Comput. Soc

Transferring formal methods technology to industry

Integrating formal and informal specification techniques. why? how?

AETG/sup SM/ Web: a Web based service for automatic efficient test generation from functional requirements

Implementing statecharts in PROMELA/SPIN

Selection criteria for automated TTCN test case generation from SDL

Formal techniques for automatically generating marshalling code from high-level specifications

Adding real-time filters to object-oriented specification of time critical systems

Applying SOFL to specify a railway crossing controller for industry

Using the SCR* toolset to specify software requirements

A discussion about integrated techniques

Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques
Latest Publications