GI LogoGI Logo
  • Login
Digital Library
    • All of DSpace

      • Communities & Collections
      • Titles
      • Authors
      • By Issue Date
      • Subjects
    • This Collection

      • Titles
      • Authors
      • By Issue Date
      • Subjects
Digital Library Gesellschaft für Informatik e.V.
GI-DL
    • English
    • Deutsch
  • English 
    • English
    • Deutsch
View Item 
  •   DSpace Home
  • Lecture Notes in Informatics
  • Proceedings
  • Software Engineering
  • P199 - Software Engineering 2012 - Workshopband
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
  •   DSpace Home
  • Lecture Notes in Informatics
  • Proceedings
  • Software Engineering
  • P199 - Software Engineering 2012 - Workshopband
  • View Item

Towards static modular software verification

Author:
Mews, Marcus [DBLP] ;
Helke, Steffen [DBLP]
Abstract
The paper presents our first work in progress results of an approach to verify the correct use of software libraries in target projects. Therefor the project's source code is analyzed and checked against the library's behavior specification, called interface grammar. This grammar is formalized using annotated state diagrams, and the verification analysis is based on static control flow, data flow and alias analyses. The paper illustrates the presented approach using a small-sized Java library example. In the end, we give a brief outlook to necessary enhancements.
  • Citation
  • BibTeX
Mews, M. & Helke, S., (2012). Towards static modular software verification. In: Jähnichen, S., Rumpe, B. & Schlingloff, H. (Hrsg.), Software Engineering 2012. Workshopband. Bonn: Gesellschaft für Informatik e.V.. (S. 147-153).
@inproceedings{mci/Mews2012,
author = {Mews, Marcus AND Helke, Steffen},
title = {Towards static modular software verification},
booktitle = {Software Engineering 2012. Workshopband},
year = {2012},
editor = {Jähnichen, Stefan AND Rumpe, Bernhard AND Schlingloff, Holger} ,
pages = { 147-153 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
147.pdf181.7Kb PDF View/Open

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Send Feedback

More Info

ISBN: 978-3-88579-293-2
ISSN: 1617-5468
xmlui.MetaDataDisplay.field.date: 2012
Language: en (en)
Content Type: Text/Conference Paper
Collections
  • P199 - Software Engineering 2012 - Workshopband [14]

Show full item record


About uns | FAQ | Help | Imprint | Datenschutz

Gesellschaft für Informatik e.V. (GI), Kontakt: Geschäftsstelle der GI
Diese Digital Library basiert auf DSpace.

 

 


About uns | FAQ | Help | Imprint | Datenschutz

Gesellschaft für Informatik e.V. (GI), Kontakt: Geschäftsstelle der GI
Diese Digital Library basiert auf DSpace.