1
Published 2005
Table of Contents: ... Development Methods: The Case of the Prisoner Dilemma and Extreme Programming -- A Framework for Understanding...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... -- Formal Languages and Methods for Designing and Verifying Complex Embedded Systems -- Thematic Track...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... Dynamic Joint Protocols Selection Method to Perform Collaborative Tasks -- A Formal Framework...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ...Keynote -- The Challenges of Service Evolution -- Duality and Process Modeling -- Assigning...
View full text
Electronic eBook
5
Table of Contents: ...-in Contract Testing -- Built-in Contract Testing and Implementation Technologies -- Reuse and Related...
View full text
Electronic eBook
6
Published 2011
Table of Contents: ... -- A Petri Net-based Software Process Model for Developing Process-Oriented Information Systems...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ...: A New Method for Fitting Mesh Model to Given Object Surface -- Image-Based Deformation of Objects...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ...Doing More with Contracts: Towards Automatic Tests and Proofs -- Using Stepwise Feature...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ... Design Tool for Informal User Interface Rapid Prototyping....
View full text
Electronic eBook
10
Published 2007
Table of Contents: ...-Process-Driven Approach for Generating E-Commerce User Interfaces -- Language Definition -- Enhancing UML...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... Architecture into the Semantic Web -- RDFS Reasoning and Query Answering on Top of DHTs -- An Interface-Based...
View full text
Electronic eBook
12
Published 2006
Table of Contents: ... -- Business Process Requirements, Modeling Technique and Standard: how to Identify Interoperability Gaps on a...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... Summarization Based on Cluster Using Non-negative Matrix Factorization -- A Program Slicing Based Method...
View full text
Electronic eBook
14
Published 2013
Table of Contents: ... and Responsibilities -- Service and Information Security Improvement by Collaborative Business Process Management...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ...-Based Process Chains – A Graph Based Approach -- An Application Of Iso-Gum In The Method For Estimating...
View full text
Electronic eBook