Search Results - interfaces component programming program contract https

Search alternatives:
component programming » computer programming , computers programming , computing programming
interfaces component » interface components , interfaces computer , interfaces content
programming program » programming programmed , programming problem , programming problems
program contract » programme contract , program abstract , program controls
contract https » control https , conflict https , contract nets

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

Published 2007

Table of Contents: “... of Component-Based Systems -- Performance-Driven Interface Contract Enforcement for Scientific Components...”
View full text

Electronic eBook

Component-Based Software Engineering 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings /

Published 2010

Table of Contents: “... Component-Based Model -- Enabling on Demand Deployment of Middleware Services in Componentized Middleware...”
View full text

Electronic eBook

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

Published 2006

Table of Contents: “...Full Papers -- Defining and Checking Deployment Contracts for Software Components -- GLoo: A...”
View full text

Electronic eBook

Component-Based Software Testing with UML

by Gross, Hans-Gerhard., Gross, Hans-Gerhard.
Published 2005

Table of Contents: “...Component-Based and Model-Driven Development with UML -- Model-Based Testing with UML -- Built...”
View full text

Electronic eBook

Rigorous Software Development An Introduction to Program Verification /

by Almeida, José Bacelar., Almeida, José Bacelar., Frade, Maria João., Pinto, Jorge Sousa., Melo de Sousa, Simão.
Published 2011

Table of Contents: “.... Safety Properties -- 8. Procedures and Contracts -- 9. Specifying C Programs -- 10. Verifying C Programs...”
View full text

Electronic eBook

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

Published 2006

Table of Contents: “... Different Contracts in Hierarchical Component-Based Systems -- Automated Pattern-Based Pointcut Generation...”
View full text

Electronic eBook

Software Composition 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers /

Published 2007

Table of Contents: “... Contract Enforcement in Hierarchical Component Systems -- Towards a Unifying Theory for Choreography...”
View full text

Electronic eBook

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

Published 2007

Table of Contents: “...Invited Contributions -- Software Product Families: Towards Compositionality -- Contract-Driven...”
View full text

Electronic eBook

Computers and Education: Towards Educational Change and Innovation

Published 2008

Table of Contents: “... Communication in Synchronous CSCL Environments -- Components of an EML Proposal for Collaborative Learning...”
View full text

Electronic eBook

UML Modeling Languages and Applications <<UML>> 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers /

Published 2005

Table of Contents: “... of Component-Based Software (NfC’04) -- OCL and Model Driven Engineering -- Critical Systems Development Using...”
View full text

Electronic eBook

Rapid Integration of Software Engineering Techniques Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers /

Published 2007

Table of Contents: “... -- Architectural Verification of Black-Box Component-Based Systems -- Systematic Generation of XML Instances...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... for Embedded Systems: The Octopus Toolset -- Contract-Based Slicing -- Worst-Case Traversal Time (WCTT...”
View full text

Electronic eBook

Multi-Agent Systems and Applications IV 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15-17, 2005, Pro...

Published 2005

Table of Contents: “...-agent System Based on Policies and Contracts -- Case-Based Student Modeling in Multi-agent Learning...”
View full text

Electronic eBook

On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France,...

Published 2006

Table of Contents: “... -- Component QoS Contract Negotiation in Multiple Containers -- RIMoCoW, a Reconciliation Infrastructure...”
View full text

Electronic eBook

Enterprise Service Oriented Architectures Concepts, Challenges, Recommendations /

by McGovern, James., McGovern, James., Sims, Oliver., Jain, Ashish., Little, Mark.
Published 2006

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

SOFSEM 2007: Theory and Practice of Computer Science 33nd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, P...

Published 2007

Table of Contents: “... Performability in Component-Based Systems -- Multimedia Retrieval Algorithmics -- Foundations of Computer Science...”
View full text

Electronic eBook

Interoperability of Enterprise Software and Applications

Published 2006

Table of Contents: “... Infrastructure for Bridging Model Engineering and Ontology Engineering -- Contract-based Interoperability for E...”
View full text

Electronic eBook

Process Automation Handbook A Guide to Theory and Practice /

by Love, Jonathan., Love, Jonathan.
Published 2007

Table of Contents: “... Interface -- Integrated Alarm Environment -- Analogue Control Loop -- Database Operations and Structure...”
View full text

Electronic eBook

Emerging Web Services Technology Volume III

Published 2010

Table of Contents: “... Web Services -- A Mediator-Based Approach to Resolving Interface Heterogeneity of Web Services...”
View full text

Electronic eBook

Digital Enterprise Technology Perspectives and Future Challenges /

Published 2007

Table of Contents: “... And Component Clusters -- Constraint Programming Approach To Designing Conflict-Free Schedules For Repetitive...”
View full text

Electronic eBook

Narrow Search