Introductory paper.
Gespeichert in:
| Titel: | Introductory paper. |
|---|---|
| Autoren: | Arts, Thomas1 thomas.arts@ituniv.se, van de Pol, Jaco2 Jaco.van.de.Pol@cwi.nl |
| Quelle: | International Journal on Software Tools for Technology Transfer. Jun2005, Vol. 7 Issue 3, p195-196. 2p. |
| Schlagwörter: | *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. |
| Datenbank: | Academic Search Index |
Full Text Finder 
Nájsť tento článok vo Web of Science Schreiben Sie den ersten Kommentar!