Arama Sonuçları - interface specification program programs constraints https

Şunu mu demek istediniz:
interface specification » service specification
specification program » specifications program , verification program , purification program
programs constraints » progress constraints , programming constraints , problem constraints
constraints https » constraints haptic , constraints data , constraints chap
program programs » program program , programs program , program progress

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”
Tam Metin Erişim

Elektronik Ekitap

Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Order Programming for Unordered Minds -- Software Engineering -- Compiling Formal Specifications to Oz...”
Tam Metin Erişim

Elektronik Ekitap

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings /

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Morality Computationally with Logic Programming -- A Declarative Specification of Giant Number Arithmetic...”
Tam Metin Erişim

Elektronik Ekitap

FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... -- Simulation, Orchestration and Logical Clocks -- Session 2. Programming Language Analysis -- CoVaC: Compiler...”
Tam Metin Erişim

Elektronik Ekitap

Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... of Component-Based Systems -- Performance-Driven Interface Contract Enforcement for Scientific Components...”
Tam Metin Erişim

Elektronik Ekitap

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007...

Baskı/Yayın Bilgisi 2007

İçindekiler: “... and Tool Support -- Preliminary Design of BML: A Behavioral Interface Specification Language for Java...”
Tam Metin Erişim

Elektronik Ekitap

Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”
Tam Metin Erişim

Elektronik Ekitap

Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /

Baskı/Yayın Bilgisi 2015

İçindekiler: “... with Specifications -- Specification and Verification of Atomic Operations in GPGPU Programs -- History-based...”
Tam Metin Erişim

Elektronik Ekitap

Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings /

Baskı/Yayın Bilgisi 2014

İçindekiler: “... for Constraint Solvers -- Lightweight State Capturing for Automated Testing of Multithreaded Programs -- How Test...”
Tam Metin Erişim

Elektronik Ekitap

Conceptual Modeling - ER 2008 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... and Time -- An Adverbial Approach for the Formal Specification of Topological Constraints Involving Regions...”
Tam Metin Erişim

Elektronik Ekitap

CONCUR 2005 - Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Interface Specifications -- Synthesis of Distributed Systems from Knowledge-Based Specifications....”
Tam Metin Erişim

Elektronik Ekitap

Modelling Foundations and Applications 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings /

Baskı/Yayın Bilgisi 2015

İçindekiler: “... of Energy-aware WSN Agents in fUML -- Reusable Model Interfaces with Instantiation Cardinalities -- A...”
Tam Metin Erişim

Elektronik Ekitap

Satellite Events at the MoDELS 2005 Conference MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2...

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Developing a Dynamic OCL Constraint Enforcement Tool for Java -- OCL and Graph-Transformations – A Symbiotic...”
Tam Metin Erişim

Elektronik Ekitap

Diagrammatic Representation and Inference 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Routines Using Constraint Programming -- Deduction with Euler Circles: Diagrams That Hurt -- Diagrams...”
Tam Metin Erişim

Elektronik Ekitap

Formal Methods and Software Engineering 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings /

Baskı/Yayın Bilgisi 2012

İçindekiler: “... pRebeca -- Modular Verification of OO Programs with Interfaces -- Separation Predicates: A Taste...”
Tam Metin Erişim

Elektronik Ekitap

Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings /

Baskı/Yayın Bilgisi 2014

İçindekiler: “... -- Formal Refinement in SysML -- Verifying Modal Workflow Specifications Using Constraint Solving.-Proofs...”
Tam Metin Erişim

Elektronik Ekitap

Models in Software Engineering Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... -- A Qualitative Investigation of UML Modeling Conventions -- W5 – Advanced User Interfaces -- Model...”
Tam Metin Erişim

Elektronik Ekitap

Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...”
Tam Metin Erişim

Elektronik Ekitap

Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I /

Baskı/Yayın Bilgisi 2012

İçindekiler: “....- Inferring Semantic Interfaces of Data Structures.- Learning-Based Test Programming for Programmers...”
Tam Metin Erişim

Elektronik Ekitap

Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... -- Algebraic Specification and Logic -- Modules, Brains and Schemas -- From Conditional Specifications...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt