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

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

    Af
    Bog
    • Format
    • Bog, hardback
    • Engelsk
    • 256 sider

    Beskrivelse

    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.

    Læs hele beskrivelsen
    Detaljer

    Findes i disse kategorier...

    Se andre, der handler om...

    Integration Software tools Graph transformation Theoretical computer-science Cons Algebraic specification Formal methods Parameterized Specifications Petri Net Technology software development

    Velkommen til Saxo – din danske boghandel

    Hos os kan du handle som gæst, Saxo-bruger eller Saxo-medlem – du bestemmer selv. Skulle du få brug for hjælp, sidder vores kundeservice-team klar ved både telefonerne og tasterne.

    Om medlemspriser hos Saxo

    For at købe bøger til medlemspris skal du være medlem af Saxo Premium, Saxo Shopping eller Saxo Ung. De første 7 dage er gratis for nye medlemmer. Medlemskabet fornyes automatisk og kan altid opsiges. Læs mere om fordelene ved vores forskellige medlemskaber her.

    Machine Name: SAXO081