View in EDS

Introductory paper.

Saved in:
Bibliographic Details
Title: Introductory paper.
Authors: Arts, Thomas1 thomas.arts@ituniv.se, van de Pol, Jaco2 Jaco.van.de.Pol@cwi.nl
Source: International Journal on Software Tools for Technology Transfer. Jun2005, Vol. 7 Issue 3, p195-196. 2p.
Subject Terms: *COMPUTER security, *DATA protection, *SECURITY systems, *COMPUTER software development, *COMPUTER software, *COMPUTER systems
Abstract: Focuses on formal methods for the advancement of the usability of formal methods for safety- and business-critical systems to improve the quality of such systems. Integration of formal and informal development of object-oriented safety-critical software by the use of specification patterns; Application of Java modeling language for formal verification of Java programs; Verification approach to applied system security to guaranteeing security properties of a version control server.
Database: Academic Search Index
Description
Abstract:Focuses on formal methods for the advancement of the usability of formal methods for safety- and business-critical systems to improve the quality of such systems. Integration of formal and informal development of object-oriented safety-critical software by the use of specification patterns; Application of Java modeling language for formal verification of Java programs; Verification approach to applied system security to guaranteeing security properties of a version control server.
ISSN:14332779
DOI:10.1007/s10009-005-0196-7