Εμφανίζονται 1 - 20 Αποτελέσματα από 27 για την αναζήτηση '"Design by contract"', χρόνος αναζήτησης: 0,68δλ Περιορισμός αποτελεσμάτων
  1. 1
    Formalizing Data-Centric Web Services
    ανά Saleh, Iman
    Έκδοση 2015
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings /
    Έκδοση 2018
    Πίνακας περιεχομένων: “… languages, such as UML/state charts -- Formal specification languages, temporal logic, design-by-contract…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Touch of Class Learning to Program Well with Objects and Contracts /
    ανά Meyer, Bertrand
    Έκδοση 2009
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    A Socially Responsible Islamic Finance Character and the Common Good /
    ανά Moghul, Umar F.
    Έκδοση 2017
    Πίνακας περιεχομένων: “… Environments -- 4. Fatwas as Feedback Loops: Authenticity, Education, and Dialogue -- 5. Designing Mindful…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Sukuk securities : new ways of debt contracting /
    ανά Safari, Meysam
    Έκδοση 2014
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  6. 6
    Generative and Component-Based Software Engineering Second International Symposium, GCSE 2000, Erfurt, Germany, October 9-12, 2000. Revised Papers /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… -- Aspect Composition Applying the Design by Contract Principle -- Models and Paradigms -- Towards a…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    Computers and Education E-Learning, From Theory to Practice /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Processes -- Design by Contract-Based Selection and Composition of Learning Objects -- Online Evaluation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 8
    Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… -- Modelling Normative Designs -- Designing Normative Behaviour Via Landmarks -- Design by Contract Deontic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 9
    FIDIC - A Guide for Practitioners
    ανά Jaeger, Axel-Volkmar, Hök, Götz-Sebastian
    Έκδοση 2010
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 10
    The architect's guide to design-build services /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… as Contractor; Chapter 4 The RFP and Selection Process; Chapter 5 Design-Build Contracts; Chapter 6 Insurance…”
    Λήψη πλήρους κειμένου
    Ηλ. βιβλίο
  11. 11
    Metainformatics International Symposium, MIS 2004, Salzburg, Austria, September 15-18, 2004, Revised Selected Papers /
    Έκδοση 2005
    Πίνακας περιεχομένων: “…Computer Aided Composition -- Supporting Tools for Designing-By-Contract in Component-Based…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 12
    Logistics Management Contributions of the Section Logistics of the German Academic Association for Business Research, 2015, Braunschweig, Germany /
    Έκδοση 2016
    Πίνακας περιεχομένων: “…PL Contracts: Practical Evidence and Propositions on the Design of Contract Flexibility in 3PL…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 13
    CONCUR 2010 - Concurrency Theory 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… of Processes -- A Logic for True Concurrency -- A Theory of Design-by-Contract for Distributed Multiparty…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 14
    Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings /
    Έκδοση 2019
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 15
    Rapid Integration of Software Engineering Techniques Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers /
    Έκδοση 2007
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 16
    Extreme Programming and Agile Processes in Software Engineering 4th International Conference, XP 2003, Genova, Italy, May 25-29, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… -- Coaching a Customer Team -- Extreme Design by Contract -- Inline Method Considered Helpful: An Approach…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 17
    Meta-Level Architectures and Reflection Second International Conference, Reflection'99 Saint-Malo, France, July 19-21, 1999 Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… Java into Scheme -- jContractor: A Reflective Java Library to Support Design By Contract -- OpenCorba…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 18
    Rapid Integration of Software Engineering Techniques Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers /
    Έκδοση 2006
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 19
    644831.pdf
    Έκδοση 2020
    “… and verification methodology which extends the concept of dynamic dispatch to design-by-contract specifications…”
  20. 20
    Reliable Software Technologies - Ada-Europe 2002 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… -- Adding Design by Contract to the Ada Language -- Program Analysis -- Static Dependency Analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email