1
Publié 2005
Table des matières: ... Development Methods: The Case of the Prisoner Dilemma and Extreme Programming -- A Framework for Understanding...
Accéder au texte intégral
Électronique eBook
2
Publié 2010
Table des matières: ... in Pair Programming -- Continuous Selective Testing -- Applying SCRUM in an OSS Development Process...
Accéder au texte intégral
Électronique eBook
3
Publié 2013
Table des matières: ... Interface of Interactive Media Art in Stereoscopic Environment -- A Method of Viewing 3D Horror Contents...
Accéder au texte intégral
Électronique eBook
4
Publié 2014
Table des matières: ... -- Visualization of successor relations in business process models -- Developing and enforcing policies for access...
Accéder au texte intégral
Électronique eBook
5
Publié 2010
Table des matières: ...Invited Talks -- The Next Decade of BPM -- BPM in Cloud Architectures: Business Process Management...
Accéder au texte intégral
Électronique eBook
6
Publié 2010
Table des matières: ...Business Process -- A Rule-Based Approach for Model Management in a User Interface – Business...
Accéder au texte intégral
Électronique eBook
7
Publié 2007
Table des matières: ... -- Developing Character Input Methods for Driver Information Systems -- Linguistic Analysis of Websites: A New...
Accéder au texte intégral
Électronique eBook
8
Publié 2005
Table des matières: ... -- Nesting OpenMP in MPI to Implement a Hybrid Communication Method of Parallel Simulated Annealing on a...
Accéder au texte intégral
Électronique eBook
9
Publié 2007
Table des matières: ... Passing Programs Using Model Verification Techniques -- Practical Model-Checking Method for Verifying...
Accéder au texte intégral
Électronique eBook
10
Publié 2014
Table des matières: ...Part I: Keynotes -- Part II: Future Tools -- Part III: Business Process Models -- Part IV...
Accéder au texte intégral
Électronique eBook
11
Publié 2007
Table des matières: ... Tools for User Interface Design -- From Task to Dialog Model in the UML -- Towards Method Engineering...
Accéder au texte intégral
Électronique eBook
12
Publié 2005
Table des matières: ...Invited Talks -- Realising the Benefits of Formal Methods -- A Compositional Framework for Service...
Accéder au texte intégral
Électronique eBook
13
Publié 2006
Table des matières: ... and Verification -- A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces -- Applying Timed...
Accéder au texte intégral
Électronique eBook
14
Publié 2014
Table des matières: ... Modelling Process to Run-time Management of Many-Core Systems -- Verifying Behavioral UML Systems via CEGAR...
Accéder au texte intégral
Électronique eBook
15
Publié 2006
Table des matières: ... -- On Mobility of Software Processes -- Software Process Fusion: Uniting Pair Programming and Solo Programming...
Accéder au texte intégral
Électronique eBook
16
Publié 2012
Sujets: ...Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029...
Accéder au texte intégral
Électronique eBook
17
Publié 2011
Sujets: ...Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029...
Accéder au texte intégral
Électronique eBook
18
Publié 2010
Table des matières: ... Component Model for Autonomous Robotics -- Design Abstraction and Processes in Robotics: From Code-Driven...
Accéder au texte intégral
Électronique eBook
19
Publié 2012
Table des matières: ... -- An Evaluation Method for Smart Variable Space in Living Space -- Modeling Robot Behavior with CCL -- Visual...
Accéder au texte intégral
Électronique eBook
20
Publié 2012
Table des matières: ...Toward Practical Application of Formal Methods in Software Lifecycle Processes -- Formal Methods...
Accéder au texte intégral
Électronique eBook