Tools and partial analysis

Authors:
Edmund Clarke;Jeannette M. Wing
Affiliations:
Computer Science Department, Carnegie Mellon University, Pittsburgh, PA;Computer Science Department, Carnegie Mellon University, Pittsburgh, PA
Venue:
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Year:
1996

Formality and software design

ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Model Checking Interactor Specifications

Automated Software Engineering
From Model Driven Engineering to Verification Driven Engineering

SEUS '08 Proceedings of the 6th IFIP WG 10.2 international workshop on Software Technologies for Embedded and Ubiquitous Systems
ESC/Java2: uniting ESC/Java and JML

CASSIS'04 Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Hi-index	0.00