Skip to contents Timm, Michael [Author] Grundlagen von Anforderungs- und Entwurfsspezifikationen im Prozeß der Software-Entwicklung Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. St. Augustin: Ges. für Mathematik u. Datenverarbeitung, Bonn, 1982 Published in: Gesellschaft für Mathematik und Datenverarbeitung: GMD-Studien ; 6600 Nissanke, Nimal [Author] Formal specification : techniques and applications Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London; Berlin; Heidelberg [u.a.]: Springer, 1999 Zimbel, Roland [Author] Graphische Spezifikationen : ein graphik-adäquater, objektzentrierter Kalkül zur Entwicklung korrekter Programme Images Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Karlsruhe, 1991 Published in: FZI Dissertation Ludewig, Jochen [Author] Zur Erstellung der Spezifikation von Prozessrechner-Software Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1981 Krieg-Brückner, Bernd [Editor] Programmentwicklung durch Spezifikation und Transformation : Bremer Beiträge zum Verbundprojekt KORSO (Korrekte Software) Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Bremen: [Univ., Fachbereich Mathematik und Informatik], 19XX- Published in: Bericht / Universität Bremen, Fachbereich Mathematik und Informatik ; . Bert, Didier [Editor] ; B <2, 1998, Montpellier> B'98: Recent advances in the development and use of the B method : Second International B Conference, Montpellier, France, April 22 - 24, 1998; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1998 Published in: Lecture notes in computer science ; 1393 Jackson, Michael [Author] Software requirements & specifications : a lexicon of practice, principles and prejudices - [1. print.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Harlow [u.a.]: Addison-Wesley, 1995 ; Wokingham [u.a.]: Addison-Wesley, 1995 Published in: ACM Press books Freudenmann, Johannes [Author] Transformation von Protokollspezifikationen in Kommunikationssoftware - [Als Ms. gedr.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Düsseldorf: VDI-Verl., 1991 Published in: Verein Deutscher Ingenieure: Fortschritt-Berichte VDI ; 158 Hagemann, Manfred [Author] Prozeßorientierte Anforderungserfassung - [Als Ms. gedr.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Düsseldorf: VDI-Verl., 1989 Published in: Verein Deutscher Ingenieure: Fortschritt-Berichte VDI ; 105 Buth, Bettina [Author] Operation refinement proofs for VDM-like specifications Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Kiel: Inst. für Informatik und Praktische Mathematik, 1995 Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9501 Gehrmann, Uwe [Author] Eine Methode für Entwurf und Spezifikation von Protokollkonvertern Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Institut für Betriebssysteme & Rechnerverbund, 1994 Published in: Hildesheimer Informatik-Berichte ; 94,8 Alagar, Vangalur S. [Author]; Periyasamy, K. [Author] Specification of software systems - [2. ed. extensively rev. and updated] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London; Heidelberg [u.a.]: Springer, 2011 Published in: Texts in computer science Van, Hung Dang [Editor] Specification case studies in RAISE Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London; Berlin; Heidelberg [u.a.]: Springer, c2002 Published in: Formal approaches to computing and information technology Son, Hoang Minh [Author] DIO - ein komponentenbasiertes Softwaremodell für verteilte Automatisierungssysteme Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1998 Staunstrup, Jørgen [Editor] ; Workshop on Program Specification 1981 Århus Program specification : proceedings of a Workshop, Aarhus, Denmark, August 1981 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1982 Published in: Lecture notes in computer science ; 134 Schmitz, Christoph [Author] Spezifikation objektorientierter Systeme Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Tübingen: Wilhelm-Schickard-Inst., Univ. Tübingen, 2000 Published in: Wilhelm-Schickard-Institut für Informatik: WSI ; 20001400 Moldt, Daniel [Author] Höhere Petrinetze als Grundlage für Systemspezifikationen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1996 Fiadeiro, José Luiz [Author] Categories for software engineering Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005 Coen-Porisini, Alberto [Editor] ; SEM 3 2002 Orlando, Fla Software engineering and middleware : third international workshop, Orlando, FL, USA, May 20 - 21, 2002 ; revised papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2003 Published in: Lecture notes in computer science ; 2596 Tennent, Robert D. [Author]; Tennent, R. D. [Author] Specifying software : a hands-on introduction Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge [u.a.]: Cambridge Univ. Press, 2002
Timm, Michael [Author] Grundlagen von Anforderungs- und Entwurfsspezifikationen im Prozeß der Software-Entwicklung Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. St. Augustin: Ges. für Mathematik u. Datenverarbeitung, Bonn, 1982 Published in: Gesellschaft für Mathematik und Datenverarbeitung: GMD-Studien ; 6600
Nissanke, Nimal [Author] Formal specification : techniques and applications Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London; Berlin; Heidelberg [u.a.]: Springer, 1999
Zimbel, Roland [Author] Graphische Spezifikationen : ein graphik-adäquater, objektzentrierter Kalkül zur Entwicklung korrekter Programme Images Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Karlsruhe, 1991 Published in: FZI Dissertation
Ludewig, Jochen [Author] Zur Erstellung der Spezifikation von Prozessrechner-Software Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1981
Krieg-Brückner, Bernd [Editor] Programmentwicklung durch Spezifikation und Transformation : Bremer Beiträge zum Verbundprojekt KORSO (Korrekte Software) Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Bremen: [Univ., Fachbereich Mathematik und Informatik], 19XX- Published in: Bericht / Universität Bremen, Fachbereich Mathematik und Informatik ; .
Bert, Didier [Editor] ; B <2, 1998, Montpellier> B'98: Recent advances in the development and use of the B method : Second International B Conference, Montpellier, France, April 22 - 24, 1998; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1998 Published in: Lecture notes in computer science ; 1393
Jackson, Michael [Author] Software requirements & specifications : a lexicon of practice, principles and prejudices - [1. print.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Harlow [u.a.]: Addison-Wesley, 1995 ; Wokingham [u.a.]: Addison-Wesley, 1995 Published in: ACM Press books
Freudenmann, Johannes [Author] Transformation von Protokollspezifikationen in Kommunikationssoftware - [Als Ms. gedr.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Düsseldorf: VDI-Verl., 1991 Published in: Verein Deutscher Ingenieure: Fortschritt-Berichte VDI ; 158
Hagemann, Manfred [Author] Prozeßorientierte Anforderungserfassung - [Als Ms. gedr.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Düsseldorf: VDI-Verl., 1989 Published in: Verein Deutscher Ingenieure: Fortschritt-Berichte VDI ; 105
Buth, Bettina [Author] Operation refinement proofs for VDM-like specifications Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Kiel: Inst. für Informatik und Praktische Mathematik, 1995 Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9501
Gehrmann, Uwe [Author] Eine Methode für Entwurf und Spezifikation von Protokollkonvertern Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hildesheim: Institut für Betriebssysteme & Rechnerverbund, 1994 Published in: Hildesheimer Informatik-Berichte ; 94,8
Alagar, Vangalur S. [Author]; Periyasamy, K. [Author] Specification of software systems - [2. ed. extensively rev. and updated] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London; Heidelberg [u.a.]: Springer, 2011 Published in: Texts in computer science
Van, Hung Dang [Editor] Specification case studies in RAISE Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London; Berlin; Heidelberg [u.a.]: Springer, c2002 Published in: Formal approaches to computing and information technology
Son, Hoang Minh [Author] DIO - ein komponentenbasiertes Softwaremodell für verteilte Automatisierungssysteme Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1998
Staunstrup, Jørgen [Editor] ; Workshop on Program Specification 1981 Århus Program specification : proceedings of a Workshop, Aarhus, Denmark, August 1981 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1982 Published in: Lecture notes in computer science ; 134
Schmitz, Christoph [Author] Spezifikation objektorientierter Systeme Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Tübingen: Wilhelm-Schickard-Inst., Univ. Tübingen, 2000 Published in: Wilhelm-Schickard-Institut für Informatik: WSI ; 20001400
Moldt, Daniel [Author] Höhere Petrinetze als Grundlage für Systemspezifikationen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1996
Fiadeiro, José Luiz [Author] Categories for software engineering Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005
Coen-Porisini, Alberto [Editor] ; SEM 3 2002 Orlando, Fla Software engineering and middleware : third international workshop, Orlando, FL, USA, May 20 - 21, 2002 ; revised papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2003 Published in: Lecture notes in computer science ; 2596
Tennent, Robert D. [Author]; Tennent, R. D. [Author] Specifying software : a hands-on introduction Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge [u.a.]: Cambridge Univ. Press, 2002
> Media type Skip to next facet Books (151) Wert ausschließen Thesis (3) Wert ausschließen Images (1) Wert ausschließen Show more show less
> Availability Skip to next facet Open Shelves (6) Wert ausschließen Stack Collection (69) Wert ausschließen Ask for availability (3) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (68) Wert ausschließen Central Library (9) Wert ausschließen TU Dresden holdings (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (26) Wert ausschließen Without Specification (55) Wert ausschließen Show more show less
> Language Skip to next facet English (135) Wert ausschließen German (23) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (103) Wert ausschließen Mathmatics (54) Wert ausschließen Technology (8) Wert ausschließen Economics (3) Wert ausschließen Musicology (1) Wert ausschließen Show more show less
> Creator Skip to next facet Ludewig, Jochen (9) Wert ausschließen Bert, Didier (5) Wert ausschließen Davies, Jim (5) Wert ausschließen Hanus, Michael (5) Wert ausschließen Ehrig, Hartmut (4) Wert ausschließen Grabowski, Jan (4) Wert ausschließen Barnett, Mike (3) Wert ausschließen Bowen, Jonathan P. (3) Wert ausschließen ETAPS 7 2004 Barcelona (3) Wert ausschließen Hoffmann, Berthold (3) Wert ausschließen King, Steve (3) Wert ausschließen Krieg-Brückner, Bernd (3) Wert ausschließen Lengauer, Christian (3) Wert ausschließen Leuschel, Michael (3) Wert ausschließen Levi, Giorgio (3) Wert ausschließen Matheis, Hans (3) Wert ausschließen Memmel, Thomas (3) Wert ausschließen Schulte, Wolfram (3) Wert ausschließen Wehrheim, Heike (3) Wert ausschließen ALP 4 1994 Madrid (2) Wert ausschließen ALP 5 1996 Aachen (2) Wert ausschließen Abrial, Jean-Raymond (2) Wert ausschließen Alagar, Vangalur S. (2) Wert ausschließen Alpuente, María (2) Wert ausschließen Banach, Richard (2) Wert ausschließen Barthe, Gilles (2) Wert ausschließen Batory, Don (2) Wert ausschließen Beckert, Bernhard (2) Wert ausschließen Bibel, Wolfgang (2) Wert ausschließen Blum, Edward K. (2) Wert ausschließen Brim, Luboš (2) Wert ausschließen Coen-Porisini, Alberto (2) Wert ausschließen Cofer, Darren (2) Wert ausschließen Consel, Charles (2) Wert ausschließen Cook, Byron (2) Wert ausschließen Deutsche Forschungsgemeinschaft (2) Wert ausschließen Elbel, Benedikte (2) Wert ausschließen Fantechi, Alessandro (2) Wert ausschließen George, Chris (2) Wert ausschließen Gibbons, Jeremy (2) Wert ausschließen Giesecke, Simon (2) Wert ausschließen Glinz, Martin (2) Wert ausschließen Glässer, Uwe (2) Wert ausschließen Goedicke, Michael (2) Wert ausschließen Gotzhein, Reinhard (2) Wert ausschließen Gschwind, Thomas (2) Wert ausschließen Halbwachs, Nicolas (2) Wert ausschließen Haverkort, Boudewijn (2) Wert ausschließen Henson, Martin (2) Wert ausschließen Hermanns, Holger (2) Wert ausschließen Hähnle, Reiner (2) Wert ausschließen INT 3 2004 Barcelona (2) Wert ausschließen Jantke, Klaus P. (2) Wert ausschließen Jensen, Kurt (2) Wert ausschließen Joubert, Christophe (2) Wert ausschließen Julliand, Jacques (2) Wert ausschließen Kouchnarenko, Olga (2) Wert ausschließen Kreowski, Hans-Jörg (2) Wert ausschließen Lau, Kung-Kiu (2) Wert ausschließen Leucker, Martin (2) Wert ausschließen Leue, Stefan (2) Wert ausschließen Liu, Zhiming (2) Wert ausschließen Mascolo, Cecilia (2) Wert ausschließen Matheson, Dan McKay (2) Wert ausschließen Merino, Pedro (2) Wert ausschließen Merz, Stephan (2) Wert ausschließen Miao, Huaikou (2) Wert ausschließen Montanari, Ugo (2) Wert ausschließen Méry, Dominique (2) Wert ausschließen Odersky, Martin (2) Wert ausschließen Orejas, Fernando (2) Wert ausschließen Palanque, Philippe (2) Wert ausschließen Palsberg, Jens (2) Wert ausschließen Pardo, Alberto (2) Wert ausschließen Periyasamy, K. (2) Wert ausschließen Podelski, Andreas (2) Wert ausschließen Pol, Jaco van de (2) Wert ausschließen Reed, Rick (2) Wert ausschließen Rodriguez-Artalejo, Mario (2) Wert ausschließen Romijn, Judi M. (2) Wert ausschließen Rozenberg, Grzegorz (2) Wert ausschließen Rumpe, Bernhard (2) Wert ausschließen Schairer, Axel (2) Wert ausschließen Schmitt, Peter H. (2) Wert ausschließen Schneider, Gerardo (2) Wert ausschließen Schneider, Steve (2) Wert ausschließen Sekerinski, Emil (2) Wert ausschließen Staunstrup, Jørgen (2) Wert ausschließen Swierstra, S. Doaitse (2) Wert ausschließen Taentzer, Gabriele (2) Wert ausschließen Treharne, Helen (2) Wert ausschließen ALP 6 1997 Southampton (1) Wert ausschließen AMAST 7 1998 Amazonia (1) Wert ausschließen Advanced Study Institute on Logic and Algebra of Specification 1991 Marktoberdorf (1) Wert ausschließen Albert, Elvira (1) Wert ausschließen B <2, 1998, Montpellier> (1) Wert ausschließen Baier, Christel (1) Wert ausschließen Bauer, Friedrich L. (1) Wert ausschließen Beeck, Michael von der (1) Wert ausschließen Brat, Guillaume (1) Wert ausschließen Show more show less
> Collection Skip to next facet Verbunddaten SWB (143) Wert ausschließen Lizenzfreie Online-Ressourcen (14) Wert ausschließen Diss online (9) Wert ausschließen BASE - Bielefeld Academic Search Engine (3) Wert ausschließen KLUEDO - Publication Server of University of Kaiserslautern-Landau (RPTU) (1) Wert ausschließen KOPS - The Institutional Repository of the University of Konstanz (1) Wert ausschließen Scientific publications of the Saarland University (UdS) (1) Wert ausschließen Show more show less