1
...This paper proposes several concepts that form the basis for slicing object-oriented programs...
Accéder au texte intégral
Article
2
Publié 2010
Table des matières: ... Framework and Software Infrastructure for the Construction of Software Production Methods -- Software...
Accéder au texte intégral
Électronique eBook
3
Publié 2013
Accéder au texte intégral
Électronique eBook
4
Publié 2015
Table des matières: ... -- Non-cumulative Resource Analysis -- Value Slice: A New Slicing Concept for Scalable Property Checking...
Accéder au texte intégral
Électronique eBook
5
Publié 2005
Table des matières: ... by Attribute-Dependency Formulas -- On Computing the Minimal Generator Family for Concept Lattices and Icebergs...
Accéder au texte intégral
Électronique eBook
6
Publié 2006
Table des matières: ... of Control -- Programming Language Concepts for Multimedia Application Development -- Implicit and Dynamic...
Accéder au texte intégral
Électronique eBook
7
8
par Raynal, Michel., Raynal, Michel.
Publié 2013
Table des matières: ...: The Atomicity Concept -- Chap. 4 - Atomicity: Formal Definition and Properties -- Part III - Mutex-Free...
Accéder au texte intégral
Électronique eBook
9
Table des matières: ...Introduction to Programming in Fortran -- Control Constructs -- Modules and Procedures -- Arrays...
Accéder au texte intégral
Électronique eBook
10
par McLaughlin, Michael
Publié 2014
Sujets: ...PL/SQL (Computer program language)....
Livre
11
Publié 2010
Table des matières: ...Markowitz for the Masses: Portfolio Construction Techniques -- Markowitz for the Masses: The Risk...
Accéder au texte intégral
Électronique eBook
12
Publié 2010
Table des matières: ... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...
Accéder au texte intégral
Électronique eBook
13
14
Publié 2006
Table des matières: ... -- TOPOLOGICAL OPTIMIZATION OF FRAME STRUCTURES UNDER MULTIPLE LOADING CASES$^*$ -- OPTIMAL DISPLACEMENT CONTROL...
Accéder au texte intégral
Électronique eBook
15
Publié 2006
Table des matières: ...Keynote Speech -- Emergence in Organic Computing Systems: Discussion of a Controversial Concept...
Accéder au texte intégral
Électronique eBook
16
Table des matières: ...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...
Accéder au texte intégral
Électronique eBook
17
Publié 2005
Table des matières: ... -- Computational Simulation of Categorical Constructions -- Composing Transitions into Transactions in UML Diagrams...
Accéder au texte intégral
Électronique eBook
18
Table des matières: ... Construction -- Graph Transformation Systems -- Adhesive High-Level Replacement Categories and Systems...
Accéder au texte intégral
Électronique eBook
19
Table des matières: ...What is Distributed Processing? -- Concepts of Concurrency -- Models of Concurrency -- Concurrency...
Accéder au texte intégral
Électronique eBook
20
Publié 2010
Table des matières: ... Case Study of a Customer Satisfaction Problem: Bootstrap and Imputation Techniques -- Comparison...
Accéder au texte intégral
Électronique eBook