Publications :: Search

Show venue

On this page you see the details of the selected venue.

Conference
Name:	2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), October 20-23, 1998, Boca Raton, FL, USA 1998
DBLP:	db/conf/wift/wift1998.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 19  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Mark R. Blackburn. T-VECTM Product Summary.	2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), October 20-23, 1998, Boca Raton, FL, USA 1998	(0)	1998
	Conference paper Mark R. Blackburn, Robert Busser. Requirements for Industrial-Strength Formal Method Tools.	2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), October 20-23, 1998, Boca Raton, FL, USA 1998	(0)	1998
	Conference paper Jean-Michel Bruel. Integrating Formal and Informal Specification Techniques. Why? How?	2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), October 20-23, 1998, Boca Raton, FL, USA 1998	(0)	1998
	Conference paper Betty H. C. Cheng. A Discussion About Integrated Techniques.	2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), October 20-23, 1998, Boca Raton, FL, USA 1998	(0)	1998
	Conference paper Siddhartha R. Dalal, Ashish Jain, Gardner C. Patton, Manish Rathi, Paul D. Seymour. AETGSM Web: A Web Based Service for Automatic Efficient Test Generation from Functional Requirements.	2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), October 20-23, 1998, Boca Raton, FL, USA 1998	(0)	1998
	Conference paper Paul Dietz, Thomas Weigert, Frank Weil. Formal Techniques for Automatically Generating Marshalling Code from High-Level Specifications.	2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), October 20-23, 1998, Boca Raton, FL, USA 1998	(0)	1998
	Conference paper Andy S. Evans. Reasoning with UML Class Diagrams.	2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), October 20-23, 1998, Boca Raton, FL, USA 1998	(0)	1998
	Conference paper Martin S. Feather, Julia R. Dunphy, Nicolas Rouquette. "Pushbutton" Analysis Via Integration Of Industrial Tools With Formal Validation.	2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), October 20-23, 1998, Boca Raton, FL, USA 1998	(0)	1998
	Conference paper Patrice Godefroid, John Kelly, Steven P. Miller, Frank Weil. Transferring Formal Methods Technology to Industry.	2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), October 20-23, 1998, Boca Raton, FL, USA 1998	(0)	1998
	Conference paper Anthony Hall. What Does Industry Need From Formal Specification Techniques?	2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), October 20-23, 1998, Boca Raton, FL, USA 1998	(0)	1998

Show item 1 to 10 of 19  

Your query returned 19 matches in the database.