Suchergebnisse - integration simulation programming programming contracts https

Andere Suchmöglichkeiten:
programming programming » programming programmed , programming program
integration simulation » interaction simulation , integrating simulation , integrated simulation
simulation programming » simulation program , recreation programming , simulation gaming
programming contracts » programming contract , programming constructs , programming constraints
https » http

Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “... Integration of Jester – The JUnit Test Tester -- Extreme Programming: The Genesys Experience -- Shared Code...”
Volltext

Elektronisch E-Book

Rapid Integration of Software Engineering Techniques Second International Workshop, RISE 2005...

Veröffentlicht 2006

Inhaltsangabe: “... Aspects Implement Contracts? -- Aspects-Classes Integration Testing Strategy: An Incremental Approach...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2008

Inhaltsangabe: “... -- A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device...”
Volltext

Elektronisch E-Book

Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers /

Veröffentlicht 2015

Inhaltsangabe: “...Towards Smart Systems of Systems -- Automated Integration of Service-oriented Software Systems...”
Volltext

Elektronisch E-Book

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...

Veröffentlicht 2007

Inhaltsangabe: “...Invited Contributions -- Software Product Families: Towards Compositionality -- Contract-Driven...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2010

Inhaltsangabe: “... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”
Volltext

Elektronisch E-Book

Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings /

Veröffentlicht 2007

Inhaltsangabe: “... Contracts from UML Class Diagrams -- Finding the Pattern You Need: The Design Pattern Intent Ontology...”
Volltext

Elektronisch E-Book

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings /

Veröffentlicht 2014

Inhaltsangabe: “... of Synchronous Distributed Applications -- Environment-Centric Contracts for Design of Cyber-Physical Systems...”
Volltext

Elektronisch E-Book

Conceptual Modeling 31st International Conference on Conceptual Modeling, Florence, Italy, October 15-18, 2012, Proceeding /

Veröffentlicht 2012

Inhaltsangabe: “... Model for Dynamic Environment -- Process Modeling II.-Contracts+Goals=Roles? -- Specialization in i...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2005

Inhaltsangabe: “... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2008

Inhaltsangabe: “... Visual Contracts -- Transforming Scene Graphs Using Triple Graph Grammars – A Practice Report -- Using...”
Volltext

Elektronisch E-Book

Advances in Practical Applications of Agents, Multi-Agent Systems, and Sustainability: The PAAMS Collection 13th International Conference, PAAMS 2015, Salamanca, Spain, June 3-4, 2...

Veröffentlicht 2015

Inhaltsangabe: “... Programming.- Can Social Media Substitute Revolutionary Leaders? An Agent-Based Demonstration -- Simulating...”
Volltext

Elektronisch E-Book

Behavior Modeling -- Foundations and Applications International Workshops, BM-FA 2009-2014, Revised Selected Papers /

Veröffentlicht 2015

Inhaltsangabe: “... that Supports Reusable Behavioural Abstractions -- Integrating Protocol Contracts with Program Code – A...”
Volltext

Elektronisch E-Book

Advances in Artificial Intelligence - IBERAMIA 2010 12th Ibero-American Conference on AI, Bahía Blanca, Argentina, November 1-5, 2010, Proceedings /

Veröffentlicht 2010

Inhaltsangabe: “... Algorithm with Path Relinking for the p-Median Problem -- Information, Integration and Extraction -- Using...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2007

Inhaltsangabe: “... Contracts for Deployment on Alien Grids -- A Transparent Framework for Hierarchical Master-Slave Grid...”
Volltext

Elektronisch E-Book

Business Process Management Workshops BPM 2009 International Workshops, Ulm, Germany, September 7, 2009, Revised Papers /

Veröffentlicht 2010

Inhaltsangabe: “... and a Use Case -- Integrating Users in Object-Aware Process Management Systems: Issues and Challenges...”
Volltext

Elektronisch E-Book

Advanced Information Systems Engineering 20th International Conference, CAiSE 2008 Montpellier, France, June 18-20, 2008, Proceedings /

Veröffentlicht 2008

Inhaltsangabe: “...: A Situation-Driven Approach for Service Integration -- When Interaction Choices Trigger Business...”
Volltext

Elektronisch E-Book

Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings /

Veröffentlicht 2008

Inhaltsangabe: “...Regular Papers -- Markov Set-Chains as Abstractions of Stochastic Hybrid Systems -- Co-simulation...”
Volltext

Elektronisch E-Book

Service-Oriented Computing 8th International Conference, ICSOC 2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings /

Veröffentlicht 2010

Inhaltsangabe: “... Service Planning -- Integrated Service Process Adaptation -- Contract Based, Non-invasive, Black-Box...”
Volltext

Elektronisch E-Book

Autonomic and Trusted Computing 5th International Conference, ATC 2008, Oslo, Norway, June 23-25, 2008, Proceedings /

Veröffentlicht 2008

Inhaltsangabe: “... Key Encryption with Keyword Search Schemes -- An Integrated Solution for Policy Filtering and Traffic...”
Volltext

Elektronisch E-Book

Suche einschränken