Search Results - interfaces coding processing programmed contracts https

1

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

Published 2005

Table of Contents: “... Integration of Jester – The JUnit Test Tester -- Extreme Programming: The Genesys Experience -- Shared Code...”
View full text

Electronic eBook

2

Business Process Management 3rd International Conference, BPM 2005, Nancy, France, September 5-8, 2005, Proceedings /

Published 2005

Table of Contents: “... Contract Layered Architecture for Regulating Cross-Organisational Business Processes -- An Effective...”
View full text

Electronic eBook

3

Process Automation Handbook A Guide to Theory and Practice /

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

Table of Contents: “... Analysis -- Statistical Process Control -- Linear Programming -- Unconstrained Optimisation -- Constrained...”
View full text

Electronic eBook

4

Computers and Education: Towards Educational Change and Innovation

Published 2008

Table of Contents: “... -- An Experiment in Collaborative Writing -- The ‘Contract’ as a Pedagogical Tool in e-Learning -- Development of a...”
View full text

Electronic eBook

5

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

6

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

Published 2007

Table of Contents: “... Conformance and Contract Compliance -- Session: Composition Design and Analysis -- A Process-Algebraic...”
View full text

Electronic eBook

7

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

Published 2010

Table of Contents: “... Interfaces, Contracts and Adapters of Component-Based Systems -- Component Contracts in Eclipse - A Case...”
View full text

Electronic eBook

8

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

Published 2006

Table of Contents: “... Services Interface -- A QoS Driven Development Process Model for Component-Based Software Systems...”
View full text

Electronic eBook

9

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

Published 2008

Table of Contents: “...Keynote -- The Challenges of Service Evolution -- Duality and Process Modeling -- Assigning...”
View full text

Electronic eBook

10

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

Published 2005

Table of Contents: “... Pseudometric for Metric Labelled Transition Systems -- On Probabilistic Program Equivalence and Refinement...”
View full text

Electronic eBook

11

Component-Based Software Testing with UML

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

Table of Contents: “...-in Contract Testing -- Built-in Contract Testing and Implementation Technologies -- Reuse and Related...”
View full text

Electronic eBook

12

Information Systems Development Asian Experiences /

Published 2011

Table of Contents: “... -- A Petri Net-based Software Process Model for Developing Process-Oriented Information Systems...”
View full text

Electronic eBook

13

Advances in Visual Computing First International Symposium, ISVC 2005, Lake Tahoe, NV, USA, December 5-7, 2005, Proceedings /

Published 2005

Table of Contents: “... of Visual Search Interfaces for the Web – Design and Empirical Evaluation of a Book Search Interface...”
View full text

Electronic eBook

14

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

15

Rapid Integration of Software Engineering Techniques Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers /

Published 2006

Table of Contents: “... Object Code in Meta Programs -- Dynamic Imperative Languages for Runtime Extensible Semantics...”
View full text

Electronic eBook

16

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

Published 2005

Table of Contents: “... Process Using UML -- SoftContract: Model-Based Design of Error-Checking Code and Property Monitors...”
View full text

Electronic eBook

17

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: “... Design Tool for Informal User Interface Rapid Prototyping....”
View full text

Electronic eBook

18

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

Published 2007

Table of Contents: “...-Process-Driven Approach for Generating E-Commerce User Interfaces -- Language Definition -- Enhancing UML...”
View full text

Electronic eBook

19

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

Published 2008

Table of Contents: “... Abstract Graph Views as Module Interfaces -- Programmed Graph Rewriting with DEVS -- Relational Growth...”
View full text

Electronic eBook

20

Web Information Systems and Technologies Third International Conference, WEBIST 2007, Barcelona, Spain, March 3-6, 2007, Revised Selected Papers /

Published 2008

Table of Contents: “...Invited Papers -- Programming Support and Governance for Process-Oriented Software Autonomy...”
View full text

Electronic eBook

Narrow Search