000 04499nam a22005535i 4500
001 978-3-540-71289-3
003 DE-He213
005 20160614135739.0
007 cr nn 008mamaa
008 100301s2007 gw | s |||| 0|eng d
020 _a9783540712893
_9978-3-540-71289-3
024 7 _a10.1007/978-3-540-71289-3
_2doi
049 _aAlfaisal Main Library
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aUL
_2bicssc
072 7 _aCOM051230
_2bisacsh
082 0 4 _a005.1
_223
245 1 0 _aFundamental Approaches to Software Engineering
_h[electronic resource] :
_b10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings /
_cedited by Matthew B. Dwyer, Antónia Lopes.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2007.
300 _aXVI, 442 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v4422
505 0 _aInvited Contributions -- Software Product Families: Towards Compositionality -- Contract-Driven Development -- Evolution and Agents -- EQ-Mine: Predicting Short-Term Defects for Software Evolution -- An Approach to Software Evolution Based on Semantic Change -- A Simulation-Oriented Formalization for a Psychological Theory -- Model Driven Development -- Integrating Performance and Reliability Analysis in a Non-Functional MDA Framework -- Information Preserving Bidirectional Model Transformations -- Activity-Driven Synthesis of State Machines -- Flexible and Extensible Notations for Modeling Languages -- Tool Demonstrations -- Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More General Types -- S2A: A Compiler for Multi-modal UML Sequence Diagrams -- Distributed Systems -- Scenario-Driven Dynamic Analysis of Distributed Architectures -- Enforcing Architecture and Deployment Constraints of Distributed Component-Based Software -- A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces -- Specification -- Precise Specification of Use Case Scenarios -- Joint Structural and Temporal Property Specification Using Timed Story Scenario Diagrams -- SDL Profiles – Formal Semantics and Tool Support -- Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode -- Services -- A Service Composition Construct to Support Iterative Development -- Correlation Patterns in Service-Oriented Architectures -- Dynamic Characterization of Web Application Interfaces -- Testing -- A Prioritization Approach for Software Test Cases Based on Bayesian Networks -- Redundancy Based Test-Suite Reduction -- Testing Scenario-Based Models -- Integration Testing in Software Product Line Engineering: A Model-Based Technique -- Analysis -- Practical Reasoning About Invocations and Implementations of Pure Methods -- Finding Environment Guarantees -- Ensuring Consistency Within Distributed Graph Transformation Systems -- Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks -- Design -- Towards Normal Design for Safety-Critical Systems -- A Clustering-Based Approach for Tracing Object-Oriented Design to Requirement -- Measuring and Characterizing Crosscutting in Aspect-Based Programs: Basic Metrics and Case Studies.
650 0 _aComputer science.
650 0 _aSoftware engineering.
650 0 _aProgramming languages (Electronic computers).
650 0 _aComputer logic.
650 1 4 _aComputer Science.
650 2 4 _aSoftware Engineering/Programming and Operating Systems.
650 2 4 _aSoftware Engineering.
650 2 4 _aLogics and Meanings of Programs.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
655 7 _aElectronic books.
_2local
700 1 _aDwyer, Matthew B.
_eeditor.
700 1 _aLopes, Antónia.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540712886
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v4422
856 4 0 _uhttp://ezproxy.alfaisal.edu/login?url=http://dx.doi.org/10.1007/978-3-540-71289-3
912 _aZDB-2-SCS
912 _aZDB-2-LNC
942 _2lcc
_cEBOOKS
999 _c251685
_d251685