• 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. Programmeringsböcker

      Fundamental Approaches to Software Engineering

      11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings

      AvJosé Fiadeiro,Paola Inverardi

      Häftad, Engelska, 2008

      Del i serien Lecture Notes in Computer Science

      566 kr

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

      Beskrivning

      ETAPS2008wasthe11thinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This yearit comprised?ve conferences (CC, ESOP,FASE, FOSSACS, TACAS), 22satelliteworkshops(ACCAT,AVIS,Bytecode,CMCS,COCV,DCC,FESCA, FIT, FORMED, GaLoP, GT-VMT, LDTA, MBT, MOMPES, PDMC, QAPL, RV,SafeCert,SC,SLA++P,WGT,andWRLA),ninetutorials,andseveninvited lectures (excluding those that were speci?c to the satellite events). The ?ve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less than 26%, with each conference below 27%. Congratulationsthereforetoallthe authorswhomadeittothe ?nalprogramme! I hope that most of the other authors will still have found a way of participating in this exciting event, and that you will all continue submitting to ETAPS and contributing to make of it the best conference in the area. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis and improvement.The languages, methodologies and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware s- tems, and the emphasis on software is not intended to be exclusive.

      Produktinformation

      • Utgivningsdatum:2008-03-18
      • Mått:155 x 235 x 25 mm
      • Vikt:674 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:434
      • Upplaga:2008
      • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
      • ISBN:9783540787426

      Utforska kategorier

      • Programmeringsböcker inom Data och IT

      Innehållsförteckning

      • Requirements and Architectures.- Deriving Non-zeno Behavior Models from Goal Models Using ILP.- What’s in a Feature: A Requirements Engineering Perspective.- Formal Approach to Integrating Feature and Architecture Models.- Models, Model Transformations I.- Correctness-Preserving Configuration of Business Process Models.- Consistent Integration of Models Based on Views of Visual Languages.- Translating Model Simulators to Analysis Models.- Conceptual Models, UML.- Orthographic Modeling Environment.- HOL-OCL: A Formal Proof Environment for uml/ocl.- Towards Faithful Model Extraction Based on Contexts.- Leveraging Patterns on Domain Models to Improve UML Profile Definition.- Service Engineering/Adaptable Services.- When Things Go Wrong: Interrupting Conversations.- Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services.- Engineering Service Oriented Applications: From StPowla Processes to SRML Models.- Verification and Testing I.- A Logic of Graph Constraints.- A Generic Complete Dynamic Logic for Reasoning About Purity and Effects.- Modelling and Verification of Timed Interaction and Migration.- A Model Checking Approach for Verifying COWS Specifications.- Verification and Testing II.- Contextual Integration Testing of Classes.- An Automatic Verifier for Java-Like Programs Based on Dynamic Frames.- A Domain Analysis to Specify Design Defects and Generate Detection Algorithms.- Automated Analysis of Permission-Based Security Using UMLsec.- Objects and Components.- Software Quality Improvement Via Pattern Matching.- Object Composition in Scenario-Based Programming.- Regular Inference for State Machines Using Domains with Equality Tests.- COMP-REF: A Technique to Guide the Delegation of Responsibilities to Components in Software Systems.-Models, Model Transformations II.- Verification of Architectural Refactorings by Rule Extraction.- Formal Model-Driven Program Refactoring.- An Algebraic Semantics for MOF.- A Formal Framework for Developing Adaptable Service-Based Applications.- Language-Based Optimisation of Sensor-Driven Distributed Computing Applications.- Clint: A Composition Language Interpreter (Tool Paper).
      Hoppa över listan

      Du kanske också är intresserad av

      Paola Inverardi, Jose Fiadeiro - Fundamental Approaches to Software Engineering, E-bok

      Fundamental Approaches to Software Engineering

      Paola Inverardi, Jose Fiadeiro

      E-bok
      2008

      732 kr

      Simone Cavalheiro, José Fiadeiro - Formal Methods: Foundations and Applications, Häftad
      Del 10623

      Formal Methods: Foundations and Applications

      Simone Cavalheiro, José Fiadeiro

      Häftad, 2017

      733 kr

      Jose Fiadeiro, Simone Cavalheiro - Formal Methods: Foundations and Applications, E-bok

      Formal Methods: Foundations and Applications

      Jose Fiadeiro, Simone Cavalheiro

      E-bok
      2017

      894 kr

      Betty H. C. Cheng, Rogério de Lemos, Paola Inverardi, Jeff Magee - Software Engineering for Self-Adaptive Systems, Häftad

      Software Engineering for Self-Adaptive Systems

      Betty H. C. Cheng, Rogério de Lemos, Paola Inverardi, Jeff Magee

      Häftad, 2009

      566 kr

      Mehdi Jazayeri, Paola Inverardi - Software Engineering Education in the Modern Age, E-bok

      Software Engineering Education in the Modern Age

      Mehdi Jazayeri, Paola Inverardi

      E-bok
      2006

      690 kr

      Paola Inverardi, Antinisca Di Marco, Vittorio Cortellessa - Model-Based Software Performance Analysis, E-bok

      Model-Based Software Performance Analysis

      Paola Inverardi, Antinisca Di Marco, Vittorio Cortellessa

      E-bok
      2011

      732 kr

      Paola Inverardi, Laurence Duchien, Tomas Bures - Software Architecture, E-bok

      Software Architecture

      Paola Inverardi, Laurence Duchien, Tomas Bures

      E-bok
      2019

      813 kr

      Tomas Bures, Laurence Duchien, Paola Inverardi - Software Architecture, Häftad
      Del 11681

      Software Architecture

      Tomas Bures, Laurence Duchien, Paola Inverardi

      Häftad, 2019

      666 kr

      Paola Inverardi, Marco Bernardo - Formal Methods for Software Architectures, E-bok

      Formal Methods for Software Architectures

      Paola Inverardi, Marco Bernardo

      E-bok
      2003

      732 kr

      Jeff Magee, Paola Inverardi, Rogerio de Lemos, Betty H. C. Cheng - Software Engineering for Self-Adaptive Systems, E-bok

      Software Engineering for Self-Adaptive Systems

      Jeff Magee, Paola Inverardi, Rogerio de Lemos, Betty H. C. Cheng

      E-bok
      2009

      739 kr