scholarly journals Application of Lightweight Formal Methods to Software Security

2006 ◽  
Author(s):  
D.P. Gilliam ◽  
J.D. Powell ◽  
M. Bishop
Keyword(s):  
Formal Methods ◽  
Software Security ◽  
Lightweight Formal Methods

scholarly journals Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3

2021 ◽  
Author(s):  
James Bornholt ◽  
Rajeev Joshi ◽  
Vytautas Astrauskas ◽  
Brendan Cully ◽  
Bernhard Kragl ◽  
...  
Keyword(s):  
Formal Methods ◽  
Storage Node ◽  
Lightweight Formal Methods

scholarly journals Experiences using lightweight formal methods for requirements modeling

1998 ◽  
Vol 24 (1) ◽  
pp. 4-14 ◽  
Author(s):  
S. Easterbrook ◽  
R. Lutz ◽  
R. Covington ◽  
J. Kelly ◽  
Y. Ampo ◽  
...  
Keyword(s):  
Formal Methods ◽  
Requirements Modeling ◽  
Lightweight Formal Methods

scholarly journals Using lightweight formal methods to model class and object diagrams

2012 ◽  
Vol 9 (1) ◽  
pp. 411-429
Author(s):  
Fernando Valles-Barajas
Keyword(s):  
Formal Methods ◽  
Formal Method ◽  
Formal Model ◽  
Modeling Language ◽  
Form Class ◽  
Software Models ◽  
Proposed Model ◽  
Model Class ◽  
Lightweight Formal Methods

In this paper a formal model for class and object diagrams is presented. To make the model the author used Alloy, which is a threein-one package: a modeling language that constructs software models, a formal method that guides the construction of software models and an analyzer that helps find inconsistencies in software models. In the proposed model the entities that form class and object diagrams, as well as the rules that govern how these elements can be connected, are specified.

Sign in / Sign up

Export Citation Format

Share Document