1
Published 2007
Table of Contents: ...Managing Agile Processes -- Comparing Decision Making in Agile and Non-agile Software Organizations...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... Collaborative Writing Project -- Comparative Analysis of Job Satisfaction in Agile and Non-agile Software...
View full text
Electronic eBook
3
by Lee, Kent D., Lee, Kent D.
Published 2011
Table of Contents: ...-driven Programming -- Defining Classes....
View full text
Electronic eBook
4
Published 2005
Table of Contents: ...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...
View full text
Electronic eBook
6
by Lee, Kent D., Lee, Kent D.
Published 2014
Table of Contents: ...-Driven Programming -- Defining Classes -- Appendix A: Integer Operators -- Appendix B: Float Operators...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... Autonomic Grid Applications: Dynamic Composition, Coordination and Interaction -- Grassroots Approach...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... Prototyping of Type Safe Interactive Applications -- A Functional Shell That Operates on Typed and Compiled...
View full text
Electronic eBook
9
Published 2015
Table of Contents: ... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...
View full text
Electronic eBook
10
Table of Contents: ... -- Temporal Interaction -- Container Datatypes....
View full text
Electronic eBook
11
Published 2006
Table of Contents: ...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...
View full text
Electronic eBook
12
Published 2005
Table of Contents: ... Transformations -- The Feasibility of Interactively Probing Quiescent Properties of GUI Applications -- A...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...
View full text
Electronic eBook
14
Published 2011
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
15
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
16
Table of Contents: ...Part I Getting Started -- Building Your First Game Application -- Programming -- Game Programming...
View full text
Electronic eBook
17
by Hermes, Dan., Hermes, Dan.
Published 2015
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
18
Published 2006
Table of Contents: ... Programming -- An AgentSpeak Meta-interpreter and Its Applications -- Extending the Capability Concept...
View full text
Electronic eBook
19
Published 2005
Table of Contents: ... Order Programming for Unordered Minds -- Software Engineering -- Compiling Formal Specifications to Oz...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ... Types -- Extensional Rewriting with Sums -- Higher-Order Logic Programming Languages with Constraints: A...
View full text
Electronic eBook