Ditapis dengan
SDL 2005: Model Driven
Language Issues -- ULF-Ware – An Open Framework for Integrated Tools for ITU-T Languages -- An Access Control Language for Dynamic Systems – Model-Driven Development and Verification -- Non-deterministic Constructs in OCL – What Does any() Mean -- Engineering Issues -- Integrating RT-CORBA in SDL -- Component Development: MDA Based Transformation from eODL to CIDL -- Service Discovery and…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540315391
- Deskripsi Fisik
- XII, 364 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Scenarios: Models, Transformations and Tools
Scenarios: Models, Transformations and Tools -- Why Timed Sequence Diagrams Require Three-Event Semantics -- Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach -- Deciding Properties of Message Sequence Charts -- Operational Semantics of Security Protocols -- Autonomous Shuttle System Case Study -- Genetic Design: Amplifying Our Ability to De…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320326
- Deskripsi Fisik
- XII, 279 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Rules and Rule Markup Languages for the Semantic Web
Towards an Event-Driven Architecture: An Infrastructure for Event Processing Position Paper -- Enabling Semantic Web Inferencing with Oracle Technology: Applications in Life Sciences -- A Realistic Architecture for the Semantic Web -- Active Rules in the Semantic Web: Dealing with Language Heterogeneity -- Towards an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML -- A Semantic …
- Edisi
- 1st ed..
- ISBN/ISSN
- 9783540322702
- Deskripsi Fisik
- X, 225 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Recent Trends in Algebraic Development Techniques
Invited Technical Paper -- Behavior-Preserving Refinement Relations Between Dynamic Software Architectures -- Contributed Papers -- Modelling Mobility with Petri Hypernets -- Cryptomorphisms at Work -- Towards a Formal Specification of an Electronic Payment System in CSP-CASL -- Algebraic Semantics of Design Abstractions for Context-Awareness -- CCC – The Casl Consistency Checker -- Ontologie…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319597
- Deskripsi Fisik
- VIII, 280 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Reasoning Web
to Semantic Web Ontology Languages -- Rules and Ontologies in F-Logic -- Web and Semantic Web Query Languages: A Survey -- Evolution and Reactivity for the Web -- Personalization for the Semantic Web -- Attempto Controlled English: A Knowledge Representation Language Readable by Humans and Machines -- Rule Modeling and Markup -- Information Extraction for the Semantic Web -- Reuse in Semantic A…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316756
- Deskripsi Fisik
- X, 326 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Recent Advances in Constraints
Constraint Propagation -- GCC-Like Restrictions on the Same Constraint -- A Note on Bilattices and Open Constraint Programming -- Pruning by Equally Constrained Variables -- Search -- Trying Again to Fail-First -- Characterization of a New Restart Strategy for Randomized Backtrack Search -- Dynamic Distributed BackJumping -- A Value Ordering Heuristic for Local Search in Distributed Resource Al…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322528
- Deskripsi Fisik
- X, 217 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Rapid Integration of Software Engineering Techniques
Integration of Software Engineering Techniques Through the Use of Architecture, Process, and People Management: An Experience Report -- Integration of Software Engineering Techniques Through the Use of Architecture, Process, and People Management: An Experience Report -- Supporting Virtual Interaction Objects with Polymorphic Platform Bindings in a User Interface Programming Language -- Towards…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320395
- Deskripsi Fisik
- X, 145 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Communicating Sequential Processes. The First 25 Years
Semantic Foundations -- Retracing the Semantics of CSP -- Seeing Beyond Divergence -- Refinement and Simulation -- Process Algebra: A Unifying Approach -- Linking Theories of Concurrency -- Hardware Synthesis -- CSP, occam and Transputers -- Models for Data-Flow Sequential Processes -- Implementation of Handshake Components -- Transactions -- A Trace Semantics for Long-Running Transactions -- P…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322658
- Deskripsi Fisik
- XIV, 326 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Categories for Software Engineering
Basics -- Introducing Categories -- Building Categories -- Universal Constructions -- Functors -- Advanced Topics -- Functor-Based Constructions -- Adjunctions -- Applications -- CommUnity -- Architectural Description -- An Algebra of Connectors.This book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical preparation, this b…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540268918
- Deskripsi Fisik
- XIV, 250 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Quality of Software Architectures and Software Quality
Keynotes -- Reexamining the Role of Interactions in Software Architecture -- Are Successful Test Cases Useless or Not? -- QoSA Long Papers -- DoSAM – Domain-Specific Software Architecture Comparison Model -- An Architecture-Centric Approach for Producing Quality Systems -- A Model-Oriented Framework for Runtime Monitoring of Nonfunctional Properties -- Predicting Mean Service Execution Times …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320562
- Deskripsi Fisik
- XIV, 294 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