Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Softwarespezifikation with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1981-2005 (8)
Publication types (Num. hits)
article(3) inproceedings(2) phdthesis(3)
Venues (Conferences, Journals, ...)
Inform. Forsch. Entwickl.(2) Fachtagung Prozessrechner(1) GI Jahrestagung(1) it Inf. Technol.(1)
Authors
Hartmut Ehrig(4) Benjamin Braatz(1) Christian Horn(1) Frank Pajonk(1) Jochen Ludewig(1) Marcus Klar(1) Markus Klein 0001(1) Martin Große-Rhode(1) Robert Geisler(1) Steffen Lange(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 8 publication records. Showing 8 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
69Hartmut Ehrig, Martin Große-Rhode Integration von Techniken der Softwarespezifkation fuer ingenieurwissenschaftliche Anwendungen. Search on Bibsonomy Inform. Forsch. Entwickl. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF DFG-Schwerpunktprogramm, Softwarespezifikation, Integration von Spezifikationstechniken, Produktionsautomatisierung, Verkehrsleittechnik
36Hartmut Ehrig, Benjamin Braatz, Markus Klein 0001 Priority Program SoftSpez and the International INT Workshops "Integration of Software Specification Techniques for Applications in Engineering" (DFG-Schwerpunktprogramm SoftSpez und die internationalen INT-Workshops "Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen"). Search on Bibsonomy it Inf. Technol. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
36Hartmut Ehrig, Robert Geisler, Marcus Klar DFG-Schwerpunktprogramm ab 1998. Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen. Search on Bibsonomy Inform. Forsch. Entwickl. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
36Hartmut Ehrig DFG-Schwerpunktprogramm "Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen". Search on Bibsonomy GI Jahrestagung The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
36Frank Pajonk Objektorientierte Systemanalyse einer radiologischen Abteilung und Entwicklung einer Softwarespezifikation für ein integriertes radiologisches Informationssystem. Search on Bibsonomy 1995   RDF
36Steffen Lange Zur induktiven Programmsynthese im Rahmen der algebraischen Softwarespezifikation. Search on Bibsonomy 1987   RDF
36Christian Horn Die Theorie der Softwarespezifikation, angewandt auf Probleme der Softwarewartung. Search on Bibsonomy 1986   RDF
36Jochen Ludewig PCSL und ESPRESO - zwei Ansätze zur Formalisierung der Prozeßrechner-Softwarespezifikation. Search on Bibsonomy Fachtagung Prozessrechner The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #8 of 8 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license