Ditapis dengan
Formal Methods for Open Object-Based Distributed Systems
Invited Talk -- Pattern Matching over a Dynamic Network of Tuple Spaces -- Models and Calculi -- A Dynamic Class Construct for Asynchronous Concurrent Objects -- An Abstract Machine for the Kell Calculus -- XPi: A Typed Process Calculus for XML Messaging -- UML -- Checking the Validity of Scenarios in UML Models -- An Extended Type System for OCL Supporting Templates and Transformations -- A Se…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540315568
- Deskripsi Fisik
- X, 326 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Embedded Systems Design
Hard Real-Time Development Environments -- Executive Overview on Hard Real-Time Development Environments -- Hard Real-Time System Development -- Current Design Practice and Needs in Selected Industrial Sectors -- Tools for Requirements Capture and Exploration -- Tools for Architecture Design and Capture -- Tools for Programming, Code Generation, and Design -- Tools for Verification and Validati…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319733
- Deskripsi Fisik
- XVI, 496 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Formal Methods and Software Engineering
Invited Talks -- Realising the Benefits of Formal Methods -- A Compositional Framework for Service Interaction Patterns and Interaction Flows -- An Evidential Tool Bus -- Specification -- Derivation of UML Class Diagrams as Static Views of Formal B Developments -- 29 New Unclarities in the Semantics of UML 2.0 State Machines -- The Semantics and Tool Support of OZTA -- Modelling -- An Abstract …
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540322504
- Deskripsi Fisik
- XIV, 502 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
UML Modeling Languages and Applications
Workshops -- Consistency Problems in UML-Based Software Development -- 5th International Workshop on Aspect-Oriented Modeling -- Software Architecture Description and UML -- SVERTS – Specification and Validation of Real-Time and Embedded Systems -- Essentials of the 3rd UML Workshop in Software Model Engineering (WiSME’2004) -- Open Issues in Industrial Use Case Modeling -- Models for Non-…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540317975
- Deskripsi Fisik
- XIV, 298 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Typed Lambda Calculi and Applications
Completeness Theorems and ?-Calculus -- Completeness Theorems and ?-Calculus -- A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code: Abstract -- Can Proofs Be Animated By Games? -- Contributed Papers -- Untyped Algorithmic Equality for Martin-Löf’s Logical Framework with Surjective Pairs -- The Monadic Second Order Theory of Trees Given by Arbitrary Level-Two Recu…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320142
- Deskripsi Fisik
- XII, 436 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Formal Modeling and Analysis of Timed Systems
Invited Talk -- Modular Performance Analysis of Distributed Embedded Systems -- Logic and Specification -- Real Time Temporal Logic: Past, Present, Future -- Translating Timed I/O Automata Specifications for Theorem Proving in PVS -- Specification and Refinement of Soft Real-Time Requirements Using Sequence Diagrams -- Times Games and Synthesis -- On Optimal Timed Strategies -- Average Reward T…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540316169
- Deskripsi Fisik
- IX, 305 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Software Composition
Dynamic Languages -- On the Revival of Dynamic Languages -- Component Composition -- Composition-Oriented Service Discovery -- Ad Hoc Composition of User Tasks in Pervasive Computing Environments -- Improving Composition Support with Lightweight Metadata-Based Extensions of Component Models -- Directory Support for Large-Scale, Automated Service Composition -- Component Controls and Protocols -…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540287490
- Deskripsi Fisik
- X, 202 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Software Engineering and Middleware
Keynote -- Dynamic Software Adaptation: Middleware for Pervasive Computing -- Middleware Services -- Here’s Your LegoTM Security Kit: How to Give Developers All Protection Mechanisms They Will Ever Need -- Integration of a Text Search Engine with a Java Messaging Service -- A Common Conceptual Basis for Analyzing Transaction Service Configurations -- Alice: Modularization of Middleware Using …
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319757
- Deskripsi Fisik
- X, 245 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Implementation and Application of Functional Languages
Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code Transformations -- The Feasibility of Interactively Probing Quiescent Properties of GUI Applications -- A Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction of Landin’s SECD Machine -- Explaining ML Type Errors by Data Flows -- V?M: A Virtual Machine for Stric…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320388
- Deskripsi Fisik
- X, 230 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Static Analysis
Invited Talks -- Algorithmic Game Semantics and Static Analysis -- From Typed Process Calculi to Source-Based Security -- Contributed Papers -- Widening Operators for Weakly-Relational Numeric Abstractions -- Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra -- Inference of Well-Typings for Logic Programs with Application to Termination Analysis -- Memory Space Conscious Loop…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319719
- Deskripsi Fisik
- X, 374 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah