000 05006nam a22005655i 4500
001 978-3-642-11623-0
003 DE-He213
005 20240730195844.0
007 cr nn 008mamaa
008 100301s2010 gw | s |||| 0|eng d
020 _a9783642116230
_9978-3-642-11623-0
024 7 _a10.1007/978-3-642-11623-0
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
072 7 _aUMZ
_2thema
082 0 4 _a005.1
_223
245 1 0 _aFundamentals of Software Engineering
_h[electronic resource] :
_bThird IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /
_cedited by Farhad Arbab, Marjan Sirjani.
250 _a1st ed. 2010.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2010.
300 _aXIII, 471 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aProgramming and Software Engineering,
_x2945-9168 ;
_v5961
505 0 _aSession 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance Analysis and Controller Synthesis for Real-Time Systems -- rCOS: Theory and Tool for Component-Based Model Driven Development -- Session 2. Regular Papers -- Termination in Higher-Order Concurrent Calculi -- Typing Asymmetric Client-Server Interaction -- Equational Reasoning on Ad Hoc Networks -- Towards a Notion of Unsatisfiable Cores for LTL -- Rule Formats for Determinism and Idempotence -- The Complexity of Reachability in Randomized Sabotage Games -- Applying Step Coverability Trees to Communicating Component-Based Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis of Concurrent Objects in Creol -- A Timed Calculus for Wireless Systems -- Model Checking Linear Duration Invariants of Networks of Automata -- Automata Based Model Checking for Reo Connectors -- On the Expressiveness of Refinement Settings -- Bounded Rational Search for On-the-Fly Model Checking of LTL Properties -- Automated Translation and Analysis of a ToolBus Script for Auctions -- Executable Interface Specifications for Testing Asynchronous Creol Components -- Compositional Strategy Mapping -- A Sound Analysis for Secure Information Flow Using Abstract Memory Graphs -- Refinement Patterns for Hierarchical UML State Machines -- Specification and Validation of Behavioural Protocols in the rCOS Modeler -- The Interplay between Relationships, Roles and Objects -- A Coordination Model for Interactive Components -- Session 3. Short Papers -- Evolution Control in MDE Projects: Controlling Model and Code Co-evolution -- An xADL Extension for Managing Dynamic Deployment in Distributed Service Oriented Architectures -- A First Step towards Security Policy Compliance of Connectors -- A Safe Implementation of Dynamic Overloading in Java-Like Languages -- Fundamental Concepts for the Structuring of Functionality into Modular Parts.
520 _aThis book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Fundamentals of Software Engineering, FSEN 2009, held in Kish Island, Iran, in April 2009. The 22 revised full papers and 5 revised short papers presented together with 3 invited lectures were carefully reviewed and selected from 88 submissions. The topics include models of programs and systems, software specification, validation and verification, software architectures and their description languages, object and multi-agent systems, coordination and feature interaction, integration of formal and informal methods, integration of different formal methods, component-based development, service-oriented development, model checking and theorem proving, software and hardware verification and CASE tools and tool integration.
650 0 _aSoftware engineering.
_94138
650 0 _aComputer science.
_99832
650 0 _aComputer programming.
_94169
650 1 4 _aSoftware Engineering.
_94138
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
650 2 4 _aProgramming Techniques.
_9161507
650 2 4 _aModels of Computation.
_931806
700 1 _aArbab, Farhad.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9161508
700 1 _aSirjani, Marjan.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9161509
710 2 _aSpringerLink (Online service)
_9161510
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783642116223
776 0 8 _iPrinted edition:
_z9783642116247
830 0 _aProgramming and Software Engineering,
_x2945-9168 ;
_v5961
_9161511
856 4 0 _uhttps://doi.org/10.1007/978-3-642-11623-0
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c95803
_d95803