Ditapis dengan
Secure Systems Development with UML
Prologue -- Walk-through: Using UML for Security -- Background -- Developing Secure Systems -- Model-based Security Engineering with UML -- Applications -- Tool Support -- Tool support for UMLsec -- A Formal Foundation -- Formal Systems Development with UML -- Epilogue -- Further Material -- Outlook.Attacks against computer systems can cause considerable economic or physical damage. High-qualit…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540264941
- Deskripsi Fisik
- XX, 316 p. 79 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
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
- -
Scientific Engineering of Distributed Java Applications
Component-Based Design of Embedded Software: An Analysis of Design Issues -- Component-Based Design of Embedded Software: An Analysis of Design Issues -- How Design Patterns Affect Application Performance – A Case of a Multi-tier J2EE Application -- An MDA-Based Approach for Inferring Concurrency in Distributed Systems -- Task-Based Access Control for Virtual Organizations -- Self-Deployment …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318699
- Deskripsi Fisik
- X, 134 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Scientific Applications of Grid Computing
Data-Based Applications -- to OGSA-DAI Services -- Using OGSA-DQP to Support Scientific Applications for the Grid -- Mobile Agent-Based Service Provision in Distributed Data Archives -- A Proxy Service for the xrootd Data Server -- A Flexible Two-Level I/O Architecture for Grids -- Data Driven Infrastructure and Policy Selection to Enhance Scientific Applications in Grid -- BioApplications -- M…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320104
- Deskripsi Fisik
- X, 214 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
- -
RoboCup 2004: Robot Soccer World Cup VIII
RoboCup 2004 Overview -- RoboCup 2004 Overview -- Award Winner Papers -- Map-Based Multiple Model Tracking of a Moving Object -- UCHILSIM: A Dynamically and Visually Realistic Simulator for the RoboCup Four Legged League -- Full Papers -- CommLang: Communication for Coachable Agents -- Turning Segways into Robust Human-Scale Dynamically Balanced Soccer Robots -- A Constructive Feature Detection…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322566
- Deskripsi Fisik
- XVIII, 678 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Reverse Engineering of Object Oriented Code
The Object Flow Graph -- Class Diagram -- Object Diagram -- Interaction Diagrams -- State Diagrams -- Package Diagram -- Conclusions.In software evolution and maintenance, the ultimate, most reliable description of a system is its source code. Reverse engineering aims at extracting abstract, goal-oriented views from the code, to summarize relevant properties of program computations. Reverse Eng…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387238036
- Deskripsi Fisik
- XIV, 208 p. 80 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Research and Advanced Technology for Digital Libraries
Digital Library Models and Architectures -- Requirements Gathering and Modeling of Domain-Specific Digital Libraries with the 5S Framework: An Archaeological Case Study with ETANA -- On the Effective Manipulation of Digital Objects: A Prototype-Based Instantiation Approach -- LibraRing: An Architecture for Distributed Digital Libraries Based on DHTs -- Multimedia and Hypermedia Digital Librarie…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319313
- Deskripsi Fisik
- XVIII, 545 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Requirements Engineering
A Generic Process for Requirements Engineering -- System Modelling for Requirements Engineering -- Writing and Reviewing Requirements -- Requirements Engineering in the Problem Domain -- Requirements Engineering in the Solution Domain -- Advanced Traceability -- Management Aspects of Requirements Engineering -- DOORS: A Tool to Manage Requirements.This second edition follows quickly on the ?rst…
- Edisi
- 2nd ed.
- ISBN/ISSN
- 9781846280757
- Deskripsi Fisik
- XVI, 198 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