Hakutulokset - interfaces computer processing programs contract https

1

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

Julkaistu 2005

Sisällysluettelo: “... of the Equator: An eXPerience Implementing XP in Brazil -- Introducing Extreme Programming into a Software...”
Hae kokoteksti

Elektroninen E-kirja

2

Computers and Education: Towards Educational Change and Innovation

Julkaistu 2008

Sisällysluettelo: “... Impaired PSENs through a Computer Mediated Distance Learning Program....”
Hae kokoteksti

Elektroninen E-kirja

3

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

Julkaistu 2005

Sisällysluettelo: “... Contract Layered Architecture for Regulating Cross-Organisational Business Processes -- An Effective...”
Hae kokoteksti

Elektroninen E-kirja

4

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

Julkaistu 2005

Sisällysluettelo: “... of Visual Search Interfaces for the Web – Design and Empirical Evaluation of a Book Search Interface...”
Hae kokoteksti

Elektroninen E-kirja

5

Process Automation Handbook A Guide to Theory and Practice /

Tekijä Love, Jonathan., Love, Jonathan.
Julkaistu 2007

Sisällysluettelo: “... Analysis -- Statistical Process Control -- Linear Programming -- Unconstrained Optimisation -- Constrained...”
Hae kokoteksti

Elektroninen E-kirja

6

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

Julkaistu 2005

Sisällysluettelo: “... Asynchronous Approximate Dynamic Programming -- Do Agents Make Model Checking Explode (Computationally...”
Hae kokoteksti

Elektroninen E-kirja

7

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

Julkaistu 2005

Sisällysluettelo: “... Pseudometric for Metric Labelled Transition Systems -- On Probabilistic Program Equivalence and Refinement...”
Hae kokoteksti

Elektroninen E-kirja

8

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

Julkaistu 2007

Sisällysluettelo: “... Conformance and Contract Compliance -- Session: Composition Design and Analysis -- A Process-Algebraic...”
Hae kokoteksti

Elektroninen E-kirja

9

SOFSEM 2007: Theory and Practice of Computer Science 33nd Conference on Current Trends in Theory...

Julkaistu 2007

Sisällysluettelo: “... Contract Model to Organize Behavioral Specifications -- Improved Processing of Textual Use Cases: Deriving...”
Hae kokoteksti

Elektroninen E-kirja

10

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

Julkaistu 2010

Sisällysluettelo: “... Interfaces, Contracts and Adapters of Component-Based Systems -- Component Contracts in Eclipse - A Case...”
Hae kokoteksti

Elektroninen E-kirja

11

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

Julkaistu 2006

Sisällysluettelo: “... Services Interface -- A QoS Driven Development Process Model for Component-Based Software Systems...”
Hae kokoteksti

Elektroninen E-kirja

12

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

Julkaistu 2008

Sisällysluettelo: “...Keynote -- The Challenges of Service Evolution -- Duality and Process Modeling -- Assigning...”
Hae kokoteksti

Elektroninen E-kirja

13

Emerging Trends in Computing, Informatics, Systems Sciences, and Engineering

Julkaistu 2013

Sisällysluettelo: “... and Responsibilities -- Service and Information Security Improvement by Collaborative Business Process Management...”
Hae kokoteksti

Elektroninen E-kirja

14

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

15

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

Julkaistu 2005

Sisällysluettelo: “... Process Using UML -- SoftContract: Model-Based Design of Error-Checking Code and Property Monitors...”
Hae kokoteksti

Elektroninen E-kirja

16

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

Julkaistu 2007

Sisällysluettelo: “...-Process-Driven Approach for Generating E-Commerce User Interfaces -- Language Definition -- Enhancing UML...”
Hae kokoteksti

Elektroninen E-kirja

17

The Semantic Web - ISWC 2008 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... Architecture into the Semantic Web -- RDFS Reasoning and Query Answering on Top of DHTs -- An Interface-Based...”
Hae kokoteksti

Elektroninen E-kirja

18

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

Julkaistu 2006

Sisällysluettelo: “... and Polymorphic Meta-Programming -- Context-Aware Service Composition in Pervasive Computing Environments -- Can...”
Hae kokoteksti

Elektroninen E-kirja

19

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

Julkaistu 2007

Sisällysluettelo: “... Design Tool for Informal User Interface Rapid Prototyping....”
Hae kokoteksti

Elektroninen E-kirja

20

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: “... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua