Resultados da pesquisa - integration simulation program program construction https

1

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference...

Publicado em 2006

Sumário: “... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”
Obter o texto integral

Recurso Electrónico livro electrónico

2

Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference...

Publicado em 2005

Sumário: “... -- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking -- Simulation-Based...”
Obter o texto integral

Recurso Electrónico livro electrónico

3

Transactions on Aspect-Oriented Software Development VIII

Publicado em 2011

Sumário: “...A Model-Driven Framework for Aspect Weaver Construction -- A System of Patterns for Reusable Aspect...”
Obter o texto integral

Recurso Electrónico livro electrónico

4

Integrated Circuit Test Engineering Modern Techniques /

Por Grout, Ian A., Grout, Ian A.
Publicado em 2006

Sumário: “...to Integrated Circuit Test Engineering -- Fabrication Processes for Integrated Circuits -- Digital...”
Obter o texto integral

Recurso Electrónico livro electrónico

5

Integrated Graphic and Computer Modelling

Por Thomas, Adrian., Thomas, Adrian.
Publicado em 2008

Sumário: “...: & Java Programming -- Programming Development Environment for Graphics -- Conditional Action-Spatial...”
Obter o texto integral

Recurso Electrónico livro electrónico

6

Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings /

Publicado em 2006

Sumário: “... Processors -- SAD Prefetching for MPEG4 Using Flux Caches -- Effects of Program Compression -- Integrated...”
Obter o texto integral

Recurso Electrónico livro electrónico

7

Software Process Change International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21, 2006, Proceedings /

Publicado em 2006

Sumário: “... Process Relationship -- Assessing 3-D Integrated Software Development Processes: A New Benchmark...”
Obter o texto integral

Recurso Electrónico livro electrónico

8

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Publicado em 2008

Sumário: “...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...”
Obter o texto integral

Recurso Electrónico livro electrónico

9

Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings /

Publicado em 2008

Sumário: “... for Software and Data Integration -- Model Construction with External Constraints: An Interactive Journey from...”
Obter o texto integral

Recurso Electrónico livro electrónico

10

Model Driven Engineering Languages and Systems 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings /

Publicado em 2005

Sumário: “...? -- Properties of Stereotypes from the Perspective of Their Role in Designs -- A Modelling and Simulation Based...”
Obter o texto integral

Recurso Electrónico livro electrónico

11

Transactions on Petri Nets and Other Models of Concurrency I

Publicado em 2008

Sumário: “...Constructive Alignment for Teaching Model-Based Design for Concurrency -- Teaching Modelling...”
Obter o texto integral

Recurso Electrónico livro electrónico

12

New Modeling Concepts for Today's Software Processes International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings /

Publicado em 2010

Sumário: “... Framework and Software Infrastructure for the Construction of Software Production Methods -- Software...”
Obter o texto integral

Recurso Electrónico livro electrónico

13

Principles of the Spin Model Checker

Por Ben-Ari, Mordechai., Ben-Ari, Mordechai.
Publicado em 2008

Sumário: “...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...”
Obter o texto integral

Recurso Electrónico livro electrónico

14

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007...

Publicado em 2007

Sumário: “... -- An Approach to Software Evolution Based on Semantic Change -- A Simulation-Oriented Formalization for a...”
Obter o texto integral

Recurso Electrónico livro electrónico

15

Advances in Integrated Design and Manufacturing in Mechanical Engineering II

Publicado em 2007

Sumário: “...Plenary Talks -- Supporting Participative Joint Decisions in Integrated Design and Manufacturing...”
Obter o texto integral

Recurso Electrónico livro electrónico

16

Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings /

Publicado em 2005

Sumário: “... Dynamic Class Construct for Asynchronous Concurrent Objects -- An Abstract Machine for the Kell Calculus...”
Obter o texto integral

Recurso Electrónico livro electrónico

17

Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings /

Publicado em 2007

Sumário: “... -- Integrating Heterogeneous Tools into Model-Centric Development of Interactive Applications -- A Business...”
Obter o texto integral

Recurso Electrónico livro electrónico