Search Results - programming validating program compositional program has

Search alternatives:
programming validating » programming evaluating , programming writing , programming balancing
program compositional » program composition , program computational , problem compositional
compositional program » composition programs , computational program , compositional problems
validating program » evaluating program , facilitating program , evaluating programs
program has » program khas , program phase , program hari

Moderating effect of vocational self-efficacy on the relationship between socioeconomic status, social support, vocational outcome expectation and students’ interest in TVET program, Pakistan

by Azeem, Nazia
Published 2021

“...The Technical and Vocational Education and Training program (TVET) has been widely acknowledged...”
View full text

Thesis

Moderating effect of vocational self-efficacy on the relationship between socioeconomic status, social support, vocational outcome expectation and students’ interest in TVET program, Pakistan

by Azeem, Nazia
Published 2021

“...The Technical and Vocational Education and Training program (TVET) has been widely acknowledged...”
View full text

Thesis

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 /

Published 2012

Table of Contents: “... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”
View full text

Electronic eBook

Model Checking Software 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings /

Published 2006

Table of Contents: “... -- Assume–Guarantee -- Towards a Compositional SPIN -- Partial Order Reduction -- Exploiting Symmetry...”
View full text

Electronic eBook

Algebraic Methodology and Software Technology 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings /

Published 2006

Table of Contents: “...Invited Talks -- Incremental Software Construction with Refinement Diagrams -- Recursive Program...”
View full text

Electronic eBook

Objects, Components, Models and Patterns 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30-July 4, 2008, Proceedings /

Published 2008

Table of Contents: “... -- Guarded Program Transformations Using JTL -- A Multiparadigm Study of Crosscutting Modularity in Design...”
View full text

Electronic eBook

Progressive damage analysis of composite layered plates using a mesh reduction method

by Zahari, Rizal, El Zafrany, Ahmed
Published 2006

“... analysis for composite plates has also been developed with Mindlin plate bending element. Validation...”
View full text

Conference or Workshop Item

SDL 2005: Model Driven 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings /

Published 2005

Table of Contents: “... -- Semantics of Message Sequence Charts -- Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri...”
View full text

Electronic eBook

Automotive Software-Connected Services in Mobile Networks First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers /

Published 2006

Table of Contents: “... -- A Compositional Framework for Real-Time Guarantees -- Validation of Component and Service...”
View full text

Electronic eBook

Missing Data and Small-Area Estimation Modern Analytical Equipment for the Survey Statistician /

by Longford, Nicholas T., Longford, Nicholas T.
Published 2005

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

Electronic eBook

Scalable Techniques for Formal Verification

by Ray, Sandip., Ray, Sandip.
Published 2010

Table of Contents: “...Preliminaries -- Overview of Formal Verification -- to ACL2 -- Sequential Program Verification...”
View full text

Electronic eBook

Design of smart structures for wind turbine blades

by Supeni, Eris Elianddy, Epaarachchi, Jayantha Ananda, Islam, Md Mainul, Lau, Kin Tak
Published 2012

“... program has been developed to efficiently predict the deflection of the blade. Result obtained from Abaqus...”
View full text

Conference or Workshop Item

Database and XML Technologies 4th International XML Database Symposium, XSym 2006, Seoul, Korea, September 10-11, 2006, Proceedings /

Published 2006

Table of Contents: “... -- Efficient Incremental Validation of XML Documents After Composite Updates....”
View full text

Electronic eBook

Effects of sports nutrition education on knowledge, attitude and practice of sports nutrition and nutritional status among elite male athletes in Malaysia

by Mohd Elias, Siti Soraya
Published 2017

“... program did not help in improving the anthropometric and body composition status of the athletes...”
View full text

Thesis

Effects of sports nutrition education on knowledge, attitude and practice of sports nutrition and nutritional status among elite male athletes in Malaysia

by Mohd Elias, Siti Soraya
Published 2017

“... program did not help in improving the anthropometric and body composition status of the athletes...”
View full text

Thesis

Advances in Web Intelligence Third International Atlantic Web Intelligence Conference, AWIC 2005, Lodz, Poland, June 6-9, 2005, Proceedings /

Published 2005

Table of Contents: “... Logic Wrappers and Inductive Logic Programming -- Immune Systems in Multi-criterion Evolutionary...”
View full text

Electronic eBook

ICT Innovations 2009

Published 2010

Table of Contents: “...: Multidimensional Scaling vs. Semidefinite Programming Approach -- On the Complexity of the Greedy Construction...”
View full text

Electronic eBook