Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Software configuration management
Macmillan computer science series
1982
Signatur: TWQ2279
    Datensatz exportieren als...
  • BibTeX
An introduction to formal specification and Z
Prentice Hall International series in computer science
1991
Signatur: TVM2746
    Datensatz exportieren als...
  • BibTeX
Ein Vorschlag zur objektorientierten Modellierung einer dynamischen Systemspezifikation (OOM-DSS)
1996
Signatur: DQ2116
    Datensatz exportieren als...
  • BibTeX
The Java TM language specification [Elektronische Ressource]
2. ed, 2000
  • Link zum Volltext
  • Zugriff nur im Hochschulnetz der Universität Paderborn bzw. für autorisierte Benutzer
    Datensatz exportieren als...
  • BibTeX
International Workshop on Software Specification and Design
1985-1985
    Datensatz exportieren als...
  • BibTeX
Structured analysis and system specification
Yourdon computing series
c 1979
Signatur: TWQ3013
    Datensatz exportieren als...
  • BibTeX
The temporal logic of reactive and concurrent systems. 1. Specification
The temporal logic of reactive and concurrent systems (Alle Bände)
1992
Signatur: TVM4502-1
    Datensatz exportieren als...
  • BibTeX
Petri-Netz-Methoden und -Werkzeuge : Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen
Informatik-Fachberichte : 197 (Alle Bände)
1989
Signatur: TVG1261
    Datensatz exportieren als...
  • BibTeX
The B-book : assigning programs to meanings
1996
Signatur: TXA3554
    Datensatz exportieren als...
  • BibTeX
Specification by example : how successful teams deliver the right software
2., corr. print, 2012
Signatur: TWQ13903
    Datensatz exportieren als...
  • BibTeX
Zur Erstellung der Spezifikation von Prozessrechner-Software
1981
Signatur: DQ203
    Datensatz exportieren als...
  • BibTeX
Design and validation of computer protocols
Prentice Hall software series
1991
Signatur: TWP3725
    Datensatz exportieren als...
  • BibTeX
Eine Methode für Entwurf und Spezifikation von Protokollkonvertern
1994
Signatur: D9019
    Datensatz exportieren als...
  • BibTeX
The specification of complex systems
1986
Signatur: TVM1944
    Datensatz exportieren als...
  • BibTeX
Understanding SCA (Service Component Architecture)
1. print, c 2010
Signatur: TWQ13026
    Datensatz exportieren als...
  • BibTeX
Prozeßorientierte Anforderungserfassung
Fortschritt-Berichte VDI : Reihe 10 : 105 (Alle Bände)
Als Ms. gedr, 1989
Signatur: TWQ3681
    Datensatz exportieren als...
  • BibTeX
The unified computation laboratory : modelling, specifications, and tools ; based on the proceedings of a Conference on the Unified Computation Laboratory, organized by the Institute of Mathematics and its Applications and held at the University of Stirling in July 1990
The Institute of Mathematics and Its Applications conference series : 35 (Alle Bände)
1992
Signatur: TAY901279
    Datensatz exportieren als...
  • BibTeX
Formal specification and synthesis of procedural controllers for process systems
Lecture notes in control and information sciences : 212 (Alle Bände)
1996
Signatur: TVR1232
    Datensatz exportieren als...
  • BibTeX
Specifying software : a hands-on introduction
2002
Signatur: TWQ10662
    Datensatz exportieren als...
  • BibTeX
Eine domänenübergreifende Softwarespezifikationstechnik für automatisierte Fertigungsanlagen
HNI-Verlagsschriftenreihe : 121 (Alle Bände)
2003
Signatur: ZHX1438, P1674
    Datensatz exportieren als...
  • BibTeX
The Java language specification
The Java series
3. ed., 1. printing, 2005
Signatur: TWP7062(3)
    Datensatz exportieren als...
  • BibTeX
B’98: Recent Advances in the Development and Use of the B Method : Second International B Conference Montpellier, France, April 22–24, 1998 Proceedings [Elektronische Ressource]
1998
    Datensatz exportieren als...
  • BibTeX
ZB 2002:Formal Specification and Development in Z and B : 2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002 Proceedings [Elektronische Ressource]
2002
    Datensatz exportieren als...
  • BibTeX
Formal Methods and Software Engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21–25, 2002 Proceedings [Elektronische Ressource]
2002
    Datensatz exportieren als...
  • BibTeX
ZB 2005: Formal Specification and Development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings [Elektronische Ressource]
2005
1 – 25 von 63
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen