1
Published 2014
Table of Contents: ...Speech Language Processing and Applications -- Automatically Recognising European Portuguese...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ...Keynote Addresses -- Software Testing Forever: Old and New Processes and Techniques for Validating...
View full text
Electronic eBook
3
Published 2014
Table of Contents: ...Part Agile Development -- UX Design in Agile: A DSDM Case Study -- Agile Principles in the Embedded...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... Agent Development in Open Distributed Systems -- simpA: A Simple Agent-Oriented Java Extension...
View full text
Electronic eBook
5
by Townsend, RJ., Townsend, RJ.
Published 2010
Subjects: ...Web Development. https://scigraph.springernature.com/ontologies/product-market-codes/I29050...
View full text
Electronic eBook
6
Published 2012
Table of Contents: ... and Virtual Humans -- Developing a Situated Virtual Reality Simulation for Telerobotic Control and Training...
View full text
Electronic eBook
7
Published 2015
Table of Contents: ... and Data Models: A Roadmap for Developing Architecture Variants -- Evaluation of JavaScript Maintainability...
View full text
Electronic eBook
8
Published 2014
Table of Contents: ...Part: Keynote -- Software Quality Assurance by Static Program Analysis -- Part: Software Process...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... Systems -- Modeling Units of Assessment for Sharing Assessment Process Information: Towards an Assessment...
View full text
Electronic eBook
10
Published 2013
Table of Contents: ... Properties for Java Code -- Modbat: A Model-Based API Tester for Event-Driven Systems -- Predictive Taint...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... to Dynamic Process Types -- Aspectboxes: Controlling the Visibility of Aspects -- On State Classes...
View full text
Electronic eBook
12
Published 2014
Table of Contents: ... -- The Guided System Development Framework: Modeling and Verifying Communication Systems -- Processes and Data...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...
View full text
Electronic eBook
14
Published 2012
Table of Contents: ... for Robotics -- A Reuse-Oriented Development Process for Component-Based Robotic Systems -- UAV Simulation...
View full text
Electronic eBook
15
Published 2015
Table of Contents: ... -- Quo Vadis Explicit-State Model Checking -- The Dos and Dont’s of Crowdsourcing Software Development...
View full text
Electronic eBook
16
Published 2007
Table of Contents: ... of Security and Behaviour of Java Applications -- Towards a Formal Framework for Computational Trust -- Models...
View full text
Electronic eBook
17
Published 2008
Table of Contents: ... of Formal Analysis into a Model-Based Software Development Process -- Formal Verification with Isabelle/HOL...
View full text
Electronic eBook
18
Published 2015
Table of Contents: ... Processing To Extract poly(A) Sites -- Analysis of poly(A) Site Choice Using A Java-Based Clustering...
View full text
Electronic eBook
19
Published 2006
Table of Contents: ... Components -- Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2 -- Boogie: A...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ... for the Development of Java Card Applications with the B Method -- From ABZ to Cryptography -- Using ASM to Achieve...
View full text
Electronic eBook