Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
compositional processing » composition processing, computational processing, compositional process
https compositional » nets compositional, chains compositional, charts compositional
program method » programs method, program mentor, programming method
method https » methods https
compositional processing » composition processing, computational processing, compositional process
https compositional » nets compositional, chains compositional, charts compositional
program method » programs method, program mentor, programming method
method https » methods https
1
Published 2010
Table of Contents:
“... Kinyarwanda Text -- Regular Papers -- Minimizing Weighted Tree Grammars Using Simulation -- Compositions...”View full text
Electronic
eBook
2
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
3
Published 2013
Table of Contents:
“... Compositions -- Method Shells: Avoiding Conflicts on Destructive Class Extensions by Implicit Context Switches...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“..., Compositional, and On-The-Fly Verification Methods -- Chunks: Component Verification in CSP ? B -- Session...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... Language Semantics Through Logical Form Composition -- Contributed Papers -- Gradience, Constructions...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“...Invited Talks -- A System Development Process with Event-B and the Rodin Platform -- Challenges...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“...Invited Talks -- Realising the Benefits of Formal Methods -- A Compositional Framework for Service...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”View full text
Electronic
eBook
9
Published 2014
Table of Contents:
“... on TSO Architectures -- A Compositional Proof Method for Linearizability Applied to a Wait-Free Multiset...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... of Region-Based Memory Management for Object-Oriented Paradigm -- Program Models for Compositional...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... and FDR to Software Design -- Concurrent Programming -- Communicating Mobile Processes -- Model-Based...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“... Analysis -- Compositional Specification and Analysis of Cost-Based Properties in Probabilistic Programs...”View full text
Electronic
eBook
13
Published 2013
Table of Contents:
“... -- Specification -- Algebraic Laws for Process Subtyping -- Boundness Issues in CCSL Specifications -- Mining...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“... Systems -- A Language-Independent Proof System for Mutual Program Equivalence -- PHASE: A Stochastic...”View full text
Electronic
eBook
15
Published 2012
Table of Contents:
“... method to formal verification of PLC programs in an Industrial Setting.-Palytoxin Inhibits the Sodium...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... and Algorithms for the Logic and Stochastic Analysis of Discrete–State Systems -- PiDuce: A Process Calculus...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“... -- XPi: A Typed Process Calculus for XML Messaging -- UML -- Checking the Validity of Scenarios in UML...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... Composition -- Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation -- Temporal...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“...Formal Semantics in the Real World -- Speech Processing for Audio Indexing -- Sorting Out...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... Systems -- Session 7 -- A Quick Tour of the VeriFast Program Verifier -- Verification of Tree-Processing...”View full text
Electronic
eBook