Search Results - constructive computation ((programming two) or (programming tools)) concepts cases

1

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference...

Published 2015

Table of Contents: “... -- HyComp: An SMT-Based Model Checker for Hybrid Systems -- C2E2: A Verification Tool for Stateflow Models...”
View full text

Electronic eBook

2

Concepts for slicing object-oriented programs

by Yahaya, Nor Adnan, Al-Fawareh, Hamed Jasem Khaled, Abd Ghani, Abdul Azim
Published 2001

“...This paper proposes several concepts that form the basis for slicing object-oriented programs...”
View full text

Article

3

Innovations in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...”
View full text

Electronic eBook

4

Computational Methods

Published 2006

Table of Contents: “... -- TOPOLOGICAL OPTIMIZATION OF FRAME STRUCTURES UNDER MULTIPLE LOADING CASES$^*$ -- OPTIMAL DISPLACEMENT CONTROL...”
View full text

Electronic eBook

5

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided...

Published 2005

Table of Contents: “... -- Computational Simulation of Categorical Constructions -- Composing Transitions into Transactions in UML Diagrams...”
View full text

Electronic eBook

6

Fundamentals of Algebraic Graph Transformation

by Ehrig, Hartmut., Ehrig, Hartmut., Ehrig, Karsten., Prange, Ulrike., Taentzer, Gabriele.
Published 2006

Table of Contents: “... with Inheritance -- Case Study on Model Transformation, and Tool Support by AGG -- Case Study on Model...”
View full text

Electronic eBook

7

Computer Information Systems and Industrial Management 13th IFIP TC 8 International Conference...

Published 2014

Table of Contents: “... Sentence Similarity Based on Concepts -- Materialized View Construction Based on Clustering Technique...”
View full text

Electronic eBook

8

Computational Linguistics and Intelligent Text Processing 7th International Conference, CICLing 2006, Mexico City, Mexico, February 19-25, 2006, Proceedings /

Published 2006

Table of Contents: “... in Chinese Discourse -- Random Walks on Text Structures -- Shallow Case Role Annotation Using Two-Stage...”
View full text

Electronic eBook

9

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

Published 2005

Table of Contents: “... -- Automation I -- Concepts for Comparing Modeling Tool Architectures -- Scenario Construction Tool Based...”
View full text

Electronic eBook

10

Transactions on Petri Nets and Other Models of Concurrency I

Published 2008

Table of Contents: “...Constructive Alignment for Teaching Model-Based Design for Concurrency -- Teaching Modelling...”
View full text

Electronic eBook

11

Cognitive Transformation Mediated By Digital 3D Sketching During Conceptual Architectural Design Process

by Rahimian Leilabadi, Farzad Pour
Published 2009

Subjects: “...Architectural design - Case studies...”
View full text

Thesis

12

Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008 Pr...

Published 2008

Table of Contents: “... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...”
View full text

Electronic eBook

13

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Published 2008

Table of Contents: “...Invited Talks -- Grounding Concrete Motion Concepts with a Linguistic Framework -- Emotion...”
View full text

Electronic eBook

14

Open Source Development, Adoption and Innovation IFIP Working Group 2.13 on Open Source Software, June 11-14, 2007, Limerick, Ireland /

Published 2007

Table of Contents: “... source software -- Tutorials -- to OSS 2007 Tutorial Program -- How to Gather FLOSS Metrics -- EDOS-Tools...”
View full text

Electronic eBook

15

New Science of Learning Cognition, Computers and Collaboration in Education /

Published 2010

Table of Contents: “... Program Context: Lessons from Four Case Studies -- New Technologies, Learning Systems, and Communication...”
View full text

Electronic eBook

16

IUTAM Symposium on Topological Design Optimization of Structures, Machines and Materials Status and Perspectives /

Published 2006

Table of Contents: “... Geometric Nonlinearities -- Mathematical Programming Issues -- The Worst-Case Multiple Load FMO Problem...”
View full text

Electronic eBook

17

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /

Published 2008

Table of Contents: “... and Big Commuting Diagrams (Abstract) -- 2. ASM Papers -- Model Based Refinement and the Tools of Tomorrow...”
View full text

Electronic eBook

18

Hybrid Artificial Intelligent Systems, Part II 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010, Proceedings /

Published 2010

Table of Contents: “... -- 2-D Shape Representation and Recognition by Lattice Computing Techniques -- Order Metrics...”
View full text

Electronic eBook

19

Natural Language Processing and Information Systems 14th International Conference on Applications of Natural Language to Information Systems , NLDB 2009, Saarbrücken, Germany, June...

Published 2010

Table of Contents: “... -- CITOM: Incremental Construction of Topic Maps -- Schema-Matching with Data Dictionaries -- Requirements...”
View full text

Electronic eBook

20

Statistical Analysis and Data Display An Intermediate Course with Examples in R /

by Heiberger, Richard M., Heiberger, Richard M., Holland, Burt.
Published 2015

Subjects: “...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

Narrow Search