• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

Upp till 20% på populära nyheter →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    Mina sidor

      Hjälp

      • Kundservice
      • Vanliga frågor och svar
      • Frakt och leverans
      • Retur vid ångerrätt
      • Reklamera vara
      • Betalning
      • Köpvillkor
      • Allmänna villkor
      • Information om webbplatsens tillgänglighet

      Om Bokus

      • Om oss
      • Pressrum
      • För studenter
      • För företag
      • För bibliotek och offentlig verksamhet
      • För leverantörer
      • Hållbarhet

      Populärt

      • Aktuella erbjudanden
      • Presentkort
      • Studentlitteratur
      • Nya böcker
      • Topplistor
      • Signerade böcker
      • Engelska böcker

      Inspiration

      • Boktips
      • BookTok
      • Populära bokserier
      • Barnbokskaraktärer
      • Populära författare
      Logotyp för Bokus
      Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
      bokus @ CookiesIntegritetspolicyKöpvillkor
      Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
      1. Data och IT
      2. Systemvetenskap och AI

      Fundamental Approaches to Software Engineering

      12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings

      AvMarsha Chechik,Martin Wirsing

      Häftad, Engelska, 2009

      Del i serien Lecture Notes in Computer Science

      566 kr

      Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

      Beskrivning

      This book constitutes the refereed proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering, FASE 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 30 revised full papers presented together with 2 tool demonstrations were carefully reviewed and selected from 123 regluar and 9 tool paper submissions. The topics addressed are model-driven development, synthesis and adaptation, modeling, testing and debugging, model analysis, patterns, security, queries and error handling, and tools (demos) and program analysis.

      Produktinformation

      • Utgivningsdatum:2009-03-09
      • Mått:155 x 235 x 28 mm
      • Vikt:756 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:488
      • Upplaga:2009
      • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
      • ISBN:9783642005923

      Utforska kategorier

      • Systemvetenskap och AI inom Data och IT
      • Programvaruutveckling inom Data och IT
      • Programmeringsböcker inom Data och IT

      Innehållsförteckning

      • Scalable Analysis of Scalable Systems.- Scalable Analysis of Scalable Systems.- Model-Driven Development.- Rewriting Logic Semantics and Verification of Model Transformations.- Confluence in Domain-Independent Product Line Transformations.- Object Flow Definition for Refined Activity Diagrams.- A Category-Theoretical Approach to the Formalisation of Version Control in MDE.- Synthesis and Adaptation.- Controller Synthesis from LSC Requirements.- Interface Generation and Compositional Verification in JavaPathfinder.- A Formal Way from Text to Code Templates.- Context-Aware Adaptive Services: The PLASTIC Approach.- Modeling.- Synchronous Modeling and Validation of Priority Inheritance Schedulers.- Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy.- Testing and Debugging.- Reducing the Costs of Bounded-Exhaustive Testing.- Logical Testing.- Cross-Entropy-Based Replay of Concurrent Programs.- Model Analysis.- Control Dependence for Extended Finite State Machines.- Proving Consistency of Pure Methods and Model Fields.- On the Implementation of @pre.- Formal Specification and Analysis of Timing Properties in Software Systems.- Patterns.- Formal Foundation for Pattern-Based Modelling.- Problem-Oriented Documentation of Design Patterns.- Security.- Certification of Smart-Card Applications in Common Criteria.- Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks.- A Formal Connection between Security Automata and JML Annotations.- Queries and Error Handling.- Algorithms for Automatically Computing the Causal Paths of Failures.- Mining API Error-Handling Specifications from Source Code.- SNIFF: A Search Engine for Java Using Free-Form Queries.- Inquiry and Introspection for Non-deterministic Queries in MobileNetworks.- Tools (Demos) and Program Analysis.- hol-TestGen.- CADS*: Computer-Aided Development of Self-* Systems.- HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis.- Accurate and Efficient Structural Characteristic Feature Extraction for Clone Detection.- Enhanced Property Specification and Verification in BLAST.- Finding Loop Invariants for Programs over Arrays Using a Theorem Prover.
      Hoppa över listan

      Du kanske också är intresserad av

      Martin Wirsing, Marsha Chechik - Fundamental Approaches to Software Engineering, E-bok

      Fundamental Approaches to Software Engineering

      Martin Wirsing, Marsha Chechik

      E-bok
      2009

      739 kr

      Marsha Chechik, Jean-François Raskin - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

      Tools and Algorithms for the Construction and Analysis of Systems

      Marsha Chechik, Jean-François Raskin

      Häftad, 2016

      566 kr

      Marsha Chechik, Joost-Pieter Katoen - Formal Methods : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, Övrigt

      Formal Methods : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings

      Marsha Chechik, Joost-Pieter Katoen

      665 kr

      Marsha Chechik, Franck van Breugel - CONCUR 2008 - Concurrency Theory, E-bok

      CONCUR 2008 - Concurrency Theory

      Marsha Chechik, Franck van Breugel

      E-bok
      2008

      739 kr

      Marsha Chechik, Sandrine Blazy - Verified Software. Theories, Tools, and Experiments, E-bok

      Verified Software. Theories, Tools, and Experiments

      Marsha Chechik, Sandrine Blazy

      E-bok
      2016

      732 kr

      Martin Leucker, Joost-Pieter Katoen, Marsha Chechik - Formal Methods, E-bok

      Formal Methods

      Martin Leucker, Joost-Pieter Katoen, Marsha Chechik

      E-bok
      2023

      1 470 kr

      Sandrine Blazy, Marsha Chechik - Verified Software. Theories, Tools, and Experiments, Häftad
      Del 9971

      Verified Software. Theories, Tools, and Experiments

      Sandrine Blazy, Marsha Chechik

      Häftad, 2016

      566 kr

      Jean-Francois Raskin, Marsha Chechik - Tools and Algorithms for the Construction and Analysis of Systems, E-bok

      Tools and Algorithms for the Construction and Analysis of Systems

      Jean-Francois Raskin, Marsha Chechik

      E-bok
      2016

      739 kr

      Marsha Chechik, Joost-Pieter Katoen, Martin Leucker - Formal Methods, Häftad
      Del 14000

      Formal Methods

      Marsha Chechik, Joost-Pieter Katoen, Martin Leucker

      Häftad, 2023

      1 144 kr

      Franck van Breugel, Marsha Chechik - CONCUR 2008 - Concurrency Theory, Häftad

      CONCUR 2008 - Concurrency Theory

      Franck van Breugel, Marsha Chechik

      Häftad, 2008

      566 kr