1
Vydáno 2006
Obsah: ... Different Contracts in Hierarchical Component-Based Systems -- Automated Pattern-Based Pointcut Generation...
Získat plný text
Elektronický zdroj E-kniha
2
Vydáno 2007
Obsah: ...Invited Talk -- Composition by Anonymous Third Parties -- Session: Composition Contracts...
Získat plný text
Elektronický zdroj E-kniha
3
Vydáno 2005
Obsah: ... Process Using UML -- SoftContract: Model-Based Design of Error-Checking Code and Property Monitors...
Získat plný text
Elektronický zdroj E-kniha
4
Vydáno 2008
Obsah: ... -- Simulation, Orchestration and Logical Clocks -- Session 2. Programming Language Analysis -- CoVaC: Compiler...
Získat plný text
Elektronický zdroj E-kniha
5
Vydáno 2010
Obsah: ... Interface for Semantic MediaWiki -- A Controlled Language for the Specification of Contracts -- Rabbit...
Získat plný text
Elektronický zdroj E-kniha
6
Vydáno 2005
Obsah: ... Pseudometric for Metric Labelled Transition Systems -- On Probabilistic Program Equivalence and Refinement...
Získat plný text
Elektronický zdroj E-kniha
7
Vydáno 2007
Obsah: ... Design Tool for Informal User Interface Rapid Prototyping....
Získat plný text
Elektronický zdroj E-kniha
8
Vydáno 2006
Obsah: ...Doing More with Contracts: Towards Automatic Tests and Proofs -- Using Stepwise Feature...
Získat plný text
Elektronický zdroj E-kniha
9
Vydáno 2010
Obsah: ... Organisation Programming Language for Organisation Management Infrastructures -- Social Norms and Semantics...
Získat plný text
Elektronický zdroj E-kniha
10
Vydáno 2015
Obsah: ... that Supports Reusable Behavioural Abstractions -- Integrating Protocol Contracts with Program Code – A...
Získat plný text
Elektronický zdroj E-kniha
11
Vydáno 2008
Obsah: ... Abstract Graph Views as Module Interfaces -- Programmed Graph Rewriting with DEVS -- Relational Growth...
Získat plný text
Elektronický zdroj E-kniha
12
Vydáno 2008
Obsah: ... and Assessment Tool for IT Governance Decision Support -- Ensuring Transactional Reliability by E-Contracting...
Získat plný text
Elektronický zdroj E-kniha
13
Vydáno 2008
Obsah: ...Invited Papers -- Programming Support and Governance for Process-Oriented Software Autonomy...
Získat plný text
Elektronický zdroj E-kniha
14
Vydáno 2008
Obsah: ... Evaluation over Large and Expressive Knowledge Bases -- A Kernel Revision Operator for Terminologies...
Získat plný text
Elektronický zdroj E-kniha
Vyhledávací nástroje: RSS Poslat emailem Uložit hledání