Bibliography of the Publications of the Software Engineering Group Freiburg

[   About   |  Browse   |   Statistics   ]

Number of references:	87	Last update:	October 3, 2003
Number of online publications:	74	Supported:	yes
Most recent reference:	September 2003

Search the bibliography

Information on the Bibliography

Author:

Achim D. Brucker <brucker @ informatik . uni-freiburg . de> (email mangled to prevent spamming)

Copyright:

Chair for Software Engineering, Albert-Ludwigs-Universität Freiburg

Abstract:

The Bibliography contains all publications of the Sofware Engineering Group Freiburg. The research of the group is focused to the development of methods for the specification and verification of computer systems. Particular emphasis is put on Formal Methods based on mathematical modelling and formal logic.

Keywords:

Formal Methods, Software Engineering,

Browsing the bibliography

• Original source:

  http://wailoa.informatik.uni-freiburg.de... (Format: bibtex, compressed with gzip)

  Other sites:

  http://wailoa.informatik.uni-freiburg.de... (search) (Format: html)
  

Bibliographic Statistics

Types:

inproceedings(35), article(23), incollection(17), techreport(5), book(2), mastersthesis(2), phdthesis(2), proceedings(1)

Fields:

year(87), title(86), author(84), language(78), abstract(75), pages(64), ps(63), booktitle(53), pdf(49), publisher(48), number(41), editor(40), volume(37), month(36), series(36), address(32), journal(23), copyright(14), copyrighturl(12), isbn(12), note(8), file(7), keywords(7), project(7), filelabel(5), institution(5), num_pages(5), url(5), organization(4), paddress(4), school(4), issn(3), cover(2), type(2), chapter(1), contributions(1), issue(1)

Distribution of publication dates:

Please direct comments regarding the bibliography collection to <liinwwwa@ira.uka.de>. This page is part of the Computer Science Bibliography Collection. Copyright © 1994-2004, Alf-Christian Achilles. All Rights Reserved.