Hakutulokset - integration organization programming programming contracts https

Tarkoititko:
integration organization » integrative organization , integration formalization , integrated organization
organization programming » animation programming , organizations program , organizations programs
programming programming » programming programmed , programming program
programming contracts » programming contract , programming constructs , programming constraints
https » http

Legal Programming Designing Legally Compliant RFID and Software Agent Architectures for Retail Processes and Beyond /

Tekijä Subirana, Brian., Subirana, Brian., Bain, Malcolm.
Julkaistu 2005

Sisällysluettelo: “...Contracts -- Intellectual Property Rights -- Consumer Protection -- Privacy -- Conclusions....”
Hae kokoteksti

Elektroninen E-kirja

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...

Julkaistu 2013

Sisällysluettelo: “... — Where Programs Meet Provers -- Compositional Invariant Checking for Overlaid and Nested Linked Lists...”
Hae kokoteksti

Elektroninen E-kirja

Agile Processes in Software Engineering and Extreme Programming 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014, Proceedings /

Julkaistu 2014

Sisällysluettelo: “... System Development -- Agile Software Development in Practice -- Part Agile Challenges and Contracting...”
Hae kokoteksti

Elektroninen E-kirja

Rapid Integration of Software Engineering Techniques Third International Workshop, RISE 2006...

Julkaistu 2007

Sisällysluettelo: “... Architecture -- Build, Configuration, Integration and Testing Tools for Large Software Projects: ETICS...”
Hae kokoteksti

Elektroninen E-kirja

Software Composition 5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers /

Julkaistu 2006

Sisällysluettelo: “... Different Contracts in Hierarchical Component-Based Systems -- Automated Pattern-Based Pointcut Generation...”
Hae kokoteksti

Elektroninen E-kirja

Component-Based Software Engineering 9th International Symposium, CBSE 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings /

Julkaistu 2006

Sisällysluettelo: “...Full Papers -- Defining and Checking Deployment Contracts for Software Components -- GLoo: A...”
Hae kokoteksti

Elektroninen E-kirja

Rigorous Software Engineering for Service-Oriented Systems Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing /

Julkaistu 2011

Sisällysluettelo: “... Calculi -- Static Analysis Techniques for Session-Oriented Calculi -- Call-by-Contract for Service...”
Hae kokoteksti

Elektroninen E-kirja

Component-Based Software Testing with UML

Tekijä Gross, Hans-Gerhard., Gross, Hans-Gerhard.
Julkaistu 2005

Sisällysluettelo: “...-in Contract Testing -- Built-in Contract Testing and Implementation Technologies -- Reuse and Related...”
Hae kokoteksti

Elektroninen E-kirja

Rules and Rule Markup Languages for the Semantic Web First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “...-Contracts in Defeasible Logic -- Merging and Aligning Ontologies in dl-Programs -- A Visual Environment...”
Hae kokoteksti

Elektroninen E-kirja

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

Julkaistu 2010

Sisällysluettelo: “... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”
Hae kokoteksti

Elektroninen E-kirja

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... -- A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device...”
Hae kokoteksti

Elektroninen E-kirja

Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Julkaistu 2014

Sisällysluettelo: “... Bytecode Programs -- Verifying Class Invariants in Concurrent Programs -- Automatic Program Repair...”
Hae kokoteksti

Elektroninen E-kirja

Euro-Par 2006 Workshops: Parallel Processing CoreGRID 2006, UNICORE Summit 2006, Petascale Computational Biology and Bioinformatics, Dresden, Germany, August 29-September 1, 2006,...

Julkaistu 2007

Sisällysluettelo: “... Contracts for Deployment on Alien Grids -- A Transparent Framework for Hierarchical Master-Slave Grid...”
Hae kokoteksti

Elektroninen E-kirja

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Julkaistu 2014

Sisällysluettelo: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Hae kokoteksti

Elektroninen E-kirja

Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings /

Julkaistu 2014

Sisällysluettelo: “... Form -- Improving the Normalization of Weight Rules in Answer Set Programs -- Logical Foundations...”
Hae kokoteksti

Elektroninen E-kirja

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /

Julkaistu 2005

Sisällysluettelo: “... on Grid Platform -- The University of Virginia Campus Grid: Integrating Grid Technologies with the Campus...”
Hae kokoteksti

Elektroninen E-kirja

Model Driven Architecture - Foundations and Applications First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “... Application -- A Comparative Study of Metamodel Integration and Interoperability in UML and Web Services...”
Hae kokoteksti

Elektroninen E-kirja

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...

Julkaistu 2010

Sisällysluettelo: “... for Embedded Systems: The Octopus Toolset -- Contract-Based Slicing -- Worst-Case Traversal Time (WCTT...”
Hae kokoteksti

Elektroninen E-kirja

Information Systems Development Asian Experiences /

Julkaistu 2011

Sisällysluettelo: “... and Negative Examples on Object Modeling -- Part 2 IS/IT Project Management -- A Social Contract for University...”
Hae kokoteksti

Elektroninen E-kirja

Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Paper...

Julkaistu 2008

Sisällysluettelo: “... Visual Contracts -- Transforming Scene Graphs Using Triple Graph Grammars – A Practice Report -- Using...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua