Ditapis dengan
Formal Approaches to Software Testing
Symbolic Test Generation -- Test Generation Based on Symbolic Specifications -- Symbolic Test Case Generation for Primitive Recursive Functions -- Preserving Contexts for Soft Conformance Relation -- Testing Non-functional Properties -- Testing of Symbolic-Probabilistic Systems -- A Test Generation Framework for quiescent Real-Time Systems -- Online Testing of Real-time Systems Using Uppaal -- …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318484
- Deskripsi Fisik
- X, 228 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Formal Approaches to Agent-Based Systems
Ecology Based Decentralized Agent Management System -- Ecology Based Decentralized Agent Management System -- From Abstract to Concrete Norms in Agent Institutions -- Meeting the Deadline: Why, When and How -- Multi-agent Systems Reliability, Fuzziness, and Deterrence -- Formalism Challenges of the Cougaar Model Driven Architecture -- Facilitating the Specification Capture and Transformation Pr…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540309604
- Deskripsi Fisik
- VIII, 291 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
FM 2005: Formal Methods
Keynote Talks -- Formal Aids for the Growth of Software Systems -- Formal Methods and Testing: Hypotheses, and Correctness Approximations -- The Natural History of Bugs: Using Formal Methods to Analyse Software Related Failures in Space Missions -- Object Orientation -- Modular Verification of Static Class Invariants -- Decoupling in Object Orientation -- Controlling Object Allocation Using Cre…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540317142
- Deskripsi Fisik
- XIV, 558 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Extreme Programming and Agile Processes in Software Engineering
Experience Reports -- Lean Software Management Case Study: Timberline Inc. -- XP South of the Equator: An eXPerience Implementing XP in Brazil -- Introducing Extreme Programming into a Software Project at the Israeli Air Force -- The Agile Journey -- New Insights -- From User Stories to Code in One Day? -- Evaluate XP Effectiveness Using Simulation Modeling -- Agile Security Using an Incrementa…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540314875
- Deskripsi Fisik
- XIV, 338 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Logic Programming and Nonmonotonic Reasoning
Invited Papers -- Nonmonotonic Reasoning in FLORA-2 -- Data Integration and Answer Set Programming -- Halo I: A Controlled Experiment for Large Scale Knowledge Base Development -- ASP Foundations -- Unfounded Sets for Disjunctive Logic Programs with Arbitrary Aggregates -- Loops: Relevant or Redundant? -- Approximating Answer Sets of Unitary Lifschitz-Woo Programs -- On Modular Translations and…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318279
- Deskripsi Fisik
- XIV, 462 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Logic Programming
OWL: A Description Logic Based Ontology Language -- Preference Reasoning -- The G12 Project: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business Rules -- A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization -- On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smod…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319474
- Deskripsi Fisik
- XIV, 458 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Logic for Programming, Artificial Intelligence, and Reasoning
Independently Checkable Proofs from Decision Procedures: Issues and Progress -- Zap: Automated Theorem Proving for Software Analysis -- Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem -- Disjunctive Constraint Lambda Calculi -- …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316503
- Deskripsi Fisik
- XIV, 744 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Logic for Programming, Artificial Intelligence, and Reasoning
CERES in Many-Valued Logics -- A Decomposition Rule for Decision Procedures by Resolution-Based Calculi -- Abstract DPLL and Abstract DPLL Modulo Theories -- Combining Lists with Non-stably Infinite Theories -- Abstract Model Generation for Preprocessing Clause Sets -- Flat and One-Variable Clauses: Complexity of Verifying Cryptographic Protocols with Single Blind Copying -- Applications of Gen…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322757
- Deskripsi Fisik
- XII, 560 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Logic Based Program Synthesis and Transformation
Verification and Analysis -- Searching Semantically Equivalent Code Fragments in Logic Programs -- Determinacy Analysis for Logic Programs Using Mode and Type Information -- Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs -- Fully Automatic Binding-Time Analysis for Prolog -- Theory and Security -- Logical Mobility and Locality Types -- Unwinding Conditions for Securit…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316831
- Deskripsi Fisik
- VIII, 284 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Effectiveness of household-based poverty programs: Lesson learn from Indonesia.
Jurnal Ekonomi Pembangunan Vol 19 Issue 2 tahun 2018 (Rak 6 - L : Ekonomi, Akutansi & Bisnis)
- Edisi
- -
- ISBN/ISSN
- 1411-6081
- Deskripsi Fisik
- hal. 126-137.: tab.; 30 cm
- Judul Seri
- -
- No. Panggil
- JURNAL|||#
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah