Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs specifications » programs verification
specifications program » specification program, specifications property, specifications from
developing computer » development computer, developing competent, developing complex
program developing » programs developing, programme developing, programmes developing
computer https » computers https, computing https, computer arts
programs specifications » programs verification
specifications program » specification program, specifications property, specifications from
developing computer » development computer, developing competent, developing complex
program developing » programs developing, programme developing, programmes developing
computer https » computers https, computing https, computer arts
1
Published 2008
Table of Contents:
“... on Transformational Development of Programs -- A National Science Foundation Proposal -- Robert Paige: Brother, Friend...”View full text
Electronic
eBook
2
Table of Contents:
“... Lifecycle -- A Model-Driven View to Meta-Program Development Process -- Cognitive Insights into Feature...”
View full text
View full text
Electronic
eBook
3
Table of Contents:
“...Distributed Systems Development -- An Aspect-Oriented Approach -- The Distribution Definition...”
View full text
View full text
Electronic
eBook
4
Table of Contents:
“... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...”
View full text
View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... Combined B and CSP Specification to Java Programs -- Symmetry Reduction for B by Permutation Flooding...”View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”View full text
Electronic
eBook
7
Table of Contents:
“...Real-time and synchronous programming -- Generalities on Real-Time Programming -- Synchronous...”
View full text
View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
9
Table of Contents:
“... Spectrum Disorders, Intervention Research, and Considerations in Developing an ASD Program -- Autism...”
View full text
View full text
Electronic
eBook
10
11
Table of Contents:
“... -- Larch -- Calculus of Communicating Systems -- Part VI: Model-based Specifications -- Vienna Development...”
View full text
View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“...Separating Concerns with Domain Specific Languages -- Event-Based Programming Without Inversion...”View full text
Electronic
eBook
13
Published 2013
Table of Contents:
“... Theories.-Bi-abduction with Pure Properties for Specification Inference -- Laws of Programming...”View full text
Electronic
eBook
14
15
Table of Contents:
“... Within an Arbitrary Logical System -- Structured Specifications -- Parameterisation -- Formal Program...”
View full text
View full text
Electronic
eBook
16
Table of Contents:
“... Structured Specifications -- Proof-theoretic Properties of SSL -- Structured Proofs-as-Programs -- Generic...”
View full text
View full text
Electronic
eBook
17
Table of Contents:
“... -- Prolog -- Type Inference -- The CoCo Virtual Machine Specification -- The Standard ML Basis Library....”
View full text
View full text
Electronic
eBook
18
Table of Contents:
“... -- Extensions -- Integer Programming -- Quadratic Programming -- Convex Programming....”
View full text
View full text
Electronic
eBook
19
Table of Contents:
“... Self-Dual Method -- Integer Programming -- Quadratic Programming -- Convex Programming....”
View full text
View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“...-Based Agent Programming Languages -- Jade — A Java Agent Development Framework -- Jadex: A BDI Reasoning...”View full text
Electronic
eBook