Application of formal methods to system and software specification

Conference proceedings on Formal methods in software development - ◽

10.1145/99569.99837 ◽

1990 ◽

Author(s):

William G. Wood

Keyword(s):

Formal Methods ◽

Software Specification

Download Full-text

Technology transfer issues for formal methods of software specification

Thirteenth Conference on Software Engineering Education and Training ◽

10.1109/csee.2000.827014 ◽

2005 ◽

Cited By ~ 3

Author(s):

K. Abernethy ◽

J. Kelly ◽

A. Sobel ◽

J.D. Kiper ◽

J. Powell

Keyword(s):

Technology Transfer ◽

Formal Methods ◽

Software Specification

Download Full-text

Scenario Views for Visual Behavior Models in GenGED* *This work is supported by the German-Brazilian Cooperation for Graphical Support of Formal and Semi-Formal Methods for Software Specification and Development (GRAPHIT).

Electronic Notes in Theoretical Computer Science ◽

10.1016/s1571-0661(04)80612-1 ◽

2003 ◽

Vol 72 (3) ◽

pp. 65-77 ◽

Cited By ~ 1

Author(s):

C. Ermel ◽

R. Bardohl

Keyword(s):

Formal Methods ◽

Visual Behavior ◽

Software Specification ◽

Behavior Models ◽

Graphical Support

Download Full-text

Application of formal methods to system and software specification

ACM SIGSOFT Software Engineering Notes ◽

10.1145/99571.99837 ◽

1990 ◽

Vol 15 (4) ◽

pp. 144-146 ◽

Cited By ~ 3

Author(s):

William G. Wood

Keyword(s):

Formal Methods ◽

Software Specification

Download Full-text

Application of formal methods to the VIPER microprocessor

IEE Proceedings E Computers and Digital Techniques ◽

10.1049/ip-e.1987.0023 ◽

1987 ◽

Vol 134 (3) ◽

pp. 133 ◽

Cited By ~ 7

Author(s):

W.J. Cullyer ◽

C.H. Pygott

Keyword(s):

Formal Methods

Download Full-text

Constraint Analysis of System Requirement in SysML with Formal Methods

IEEJ Transactions on Electronics Information and Systems ◽

10.1541/ieejeiss.137.809 ◽

2017 ◽

Vol 137 (6) ◽

pp. 809-814

Author(s):

Yosuke Kakiuchi

Keyword(s):

Formal Methods ◽

Constraint Analysis ◽

System Requirement

Download Full-text

Increasing the Practical Impact of Formal Methods for Computer-Aided Software Development,

10.21236/ada310438 ◽

1995 ◽

Cited By ~ 3

Author(s):

Luqi

Keyword(s):

Software Development ◽

Formal Methods ◽

Computer Aided ◽

Practical Impact

Download Full-text

A Prototype Formal Methods Environment

10.21236/ada389751 ◽

2001 ◽

Author(s):

Ray Teitelbaum

Keyword(s):

Formal Methods

Download Full-text

Applying Practical Formal Methods to the Specifications and Analysis of Security Properties

10.21236/ada464842 ◽

2001 ◽

Cited By ~ 2

Author(s):

Constance Heitmeyer

Keyword(s):

Formal Methods ◽

Security Properties

Download Full-text

Formal Methods for Reverse Engineering Gate-Level Netlists

10.21236/ada623698 ◽

2013 ◽

Cited By ~ 4

Author(s):

Wenchao Li

Keyword(s):

Reverse Engineering ◽

Formal Methods

Download Full-text

Practical Formal Methods for Hardware Design

10.1007/978-3-642-60641-0 ◽

1997 ◽

Cited By ~ 2

Keyword(s):

Formal Methods ◽

Hardware Design

Download Full-text