Fundamental Approaches to Software Engineering 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings /

Fundamental Approaches to Software Engineering 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Pezzè, Mauro (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
Έκδοση:1st ed. 2003.
Σειρά:Lecture Notes in Computer Science, 2621
Θέματα:
Software engineering.
Programming languages (Electronic computers).
Computer logic.
Software Engineering/Programming and Operating Systems.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • Keynote
  • Symbiosis of Static Analysis and Program Testing
  • Software Components
  • An Ontology for Software Component Matching
  • A Description Language for Composable Components
  • A Logical Basis for the Specification of Reconfigurable Component-Based Systems
  • An Overall System Design Approach Doing Object-Oriented Modeling to Code-Generation for Embedded Electronic Systems
  • Mobile Computing
  • Composing Specifications of Event Based Applications
  • A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems
  • Spatial Security Policies for Mobile Agents in a Sentient Computing Environment
  • Aspect and Object-Oriented Programming
  • Towards UML-Based Formal Specifications of Component-Based Real-Time Software
  • Modelling Recursive Calls with UML State Diagrams
  • Pipa: A Behavioral Interface Specification Language for Aspect
  • PacoSuite and JAsCo: A Visual Component Composition Environment with Advanced Aspect Separation Features
  • Distributed and Web Applications
  • Model-Based Development of Web Applications Using Graphical Reaction Rules
  • Modular Analysis of Dataflow Process Networks
  • Software Measurements
  • Foundations of a Weak Measurement-Theoretic Approach to Software Measurement
  • An Information-Based View of Representational Coupling in Object-Oriented Systems
  • Formal Verification
  • A Temporal Approach to Specification and Verification of Pointer Data-Structures
  • A Program Logic for Handling Java Card's Transaction Mechanism
  • Monad-Independent Hoare Logic in HASCASL
  • Visual Specifications of Policies and Their Verification
  • Analysis and Testing
  • Automatic Model Driven Animation of SCR Specifications
  • Probe Mechanism for Object-Oriented Software Testing
  • Model Checking Software via Abstraction of Loop Transitions
  • Model Integrations and Extensions
  • Integration of Formal Datatypes within State Diagrams
  • Xere: Towards a Natural Interoperability between XML and ER Diagrams
  • Detecting Implied Scenarios Analyzing Non-local Branching Choices
  • Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs.

Παρόμοια τεκμήρια