Record Nr.

UNISA996466066503316

Titolo

Fundamental Approaches to Software Engineering [[electronic resource] ] : 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 / / edited by José Fiadeiro, Paola Inverardi

Pubbl/distr/stampa


Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008

ISBN

3-540-78743-7

Edizione

[1st ed. 2008.]

Descrizione fisica

1 online resource (XIII, 434 p.)

Collana

Theoretical Computer Science and General Issues, , 2512-2029 ; ; 4961

Disciplina

005.1

Soggetti

Software engineering

Computer science

Compilers (Computer programs)

Software Engineering

Computer Science Logic and Foundations of Programming

Compilers and Interpreters

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Bibliographic Level Mode of Issuance: Monograph

Nota di bibliografia

Includes bibliographical references and index.

Nota di contenuto

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).

Record Nr.

UNIORUON00042173

Autore

NAUMANN, Rudolf

Titolo

Architektur kleinasiens von ihren anfangen bis zum ende der hethitischen zeit / Rudolf Naumann

Pubbl/distr/stampa


Tubingen, : Ernst Wasmuth, 1971

ISBN

38-03-01014-4

Descrizione fisica

XIII, 508 p. : ill. ; 26 c

Classificazione

VOA XI