Algebraic Specification Techniques And Tools For Software Development: The Act Approach 1
bokomslag Algebraic Specification Techniques And Tools For Software Development: The Act Approach
Data & IT

Algebraic Specification Techniques And Tools For Software Development: The Act Approach

Ingo Claben • Hartmut Ehrig • Dietmar Wolz • I Claben H Ehrig • W Fey D Wolz

Inbunden

1359:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Tillfälligt slut online – klicka på "Bevaka" för att få ett mejl så fort varan går att köpa igen.

  • 256 sidor
  • 1993
The intention of this book is to show how algebraic specification methods can be used for software development to support reliability, modifiability and reusability. These methods are introduced by parameterized and module specifications through practical examples and case studies using algebraic specification languages and tools developed at TU Berlin.
  • Författare: Ingo Claben, Hartmut Ehrig, Dietmar Wolz, I Claben H Ehrig, W Fey D Wolz
  • Format: Inbunden
  • ISBN: 9789810212278
  • Språk: Engelska
  • Antal sidor: 256
  • Utgivningsdatum: 1993-11-01
  • Förlag: World Scientific Publishing Co Pte Ltd

Du kanske gillar

  1. bokomslag Theories And Experiences For Real-time System Development

    Theories And Experiences For Real-tim...

    Charles Rattray, Teodor Rus, Charles Rattray Teodor Rus

    Inbunden

    3189:-
  2. bokomslag Algebraic Approach To Compiler Design, An

    Algebraic Approach To Compiler Design...

    A Sampaio Augusto Sampaio

    Inbunden

    1909:-
  3. bokomslag Construction And Analysis Of Transition Systems With Mec

    Construction And Analysis Of Transiti...

    A Arnold, Didier Begay, P Crubille, D Begay A Arnold P Crubille

    Inbunden

    1509:-
  4. bokomslag Language Prototyping: An Algebraic Specification Approach

    Language Prototyping: An Algebraic Sp...

    Jan Heering, Paul Klint, Arie Van Deursen, Jan Heering A Van Deursen Paul Klint, Arie Van Deursen

    Inbunden

    2799:-
  5. bokomslag Cafeobj Report: The Language, Proof Techniques, And Methodologies For Object-oriented Algebraic Specification

    Cafeobj Report: The Language, Proof T...

    Razvan Diaconescu, Kokichi Futatsugi, Razvan Diaconescu & Kokichi Futatsugi

    Inbunden

    899:-
  6. bokomslag Thermomechanics Of Phase Transitions In Classical Field Theory

    Thermomechanics Of Phase Transitions ...

    Ingo Claben, Hartmut Ehrig, A Romano, Dietmar Wolz, A Romano

    Inbunden

    1989:-
  7. bokomslag Graph Grammars and Their Application to Computer Science

    Graph Grammars and Their Application ...

    Janice Cuny, Hartmut Ehrig, Gregor Engels, Grzegorz Rozenberg

    Pocket

    1459:-
  8. bokomslag Spannungsfeld Hochwasserrückhaltung und Trinkwassergewinnung

    Spannungsfeld Hochwasserrückhaltung u...

    Dirk Kühlers, Ekkehart Bethge, Michael Fleig, Jan Wölz, Gudrun Hillebrand

    Pocket

    749:-
  9. bokomslag Training in Injection Molding

    Training in Injection Molding

    Walter Michaeli, Helmut Greif, Gernot Kretzschmar, Frank Ehrig

    Pocket

    1429:-
  10. bokomslag Graph Transformation

    Graph Transformation

    Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg

    Pocket

    739:-

Andra av samma författare

  1. bokomslag Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985

    Mathematical Foundations of Software ...

    Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher

    Pocket

    599:-
  2. bokomslag Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985

    Formal Methods and Software Developme...

    Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher

    Pocket

    719:-
  3. bokomslag TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987

    TAPSOFT '87: Proceedings of the Inter...

    Hartmut Ehrig, Robert A Kowalski, Giorgio Levi, Ugo Montanari

    Pocket

    539:-
  4. bokomslag TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987

    TAPSOFT '87: Proceedings of the Inter...

    Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari

    Pocket

    539:-
  5. bokomslag Graph-Grammars and Their Application to Computer Science

    Graph-Grammars and Their Application ...

    Hartmut Ehrig, Manfred Nagl, Grzegorz Rozenberg, Azriel Rosenfeld

    Pocket

    1459:-
  6. bokomslag Petri Net Technology for Communication-Based Systems

    Petri Net Technology for Communicatio...

    Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber

    Pocket

    739:-
  7. bokomslag Integration of Software Specification Techniques for Applications in Engineering

    Integration of Software Specification...

    Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif

    Pocket

    759:-
  8. bokomslag Graph Transformations

    Graph Transformations

    Hartmut Ehrig, Gregor Engels, Francesco Parisi-Presicce, Grzegorz Rozenberg

    Pocket

    739:-
  9. bokomslag Fundamentals of Algebraic Graph Transformation

    Fundamentals of Algebraic Graph Trans...

    Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer

    Inbunden

    1809:-
  10. bokomslag Graph Transformations

    Graph Transformations

    Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg

    Pocket

    739:-