Abstraction - PDFSEARCH.IO - Document Search Engine

Abstraction
Results: 2720

#	Item
671	A Multi-Institutional Investigation of Computer Science Seniors’ Knowledge of Programming Concepts Laurie Murphy Renée McCauley Add to Reading List Source URL: www.cs.virginia.edu Language: English - Date: 2005-02-15 14:17:51 Science Summary statistics Abstraction Creativity Problem solving Card sorting Paradigm Quartile Programming language Programming paradigms Software engineering Linguistics
672	SYSTEMATIC SOFTWARE DEVELOPMENT USING VDM SECOND EDITION SYSTEMATIC SOFTWARE Add to Reading List Source URL: homepages.cs.ncl.ac.uk Language: English - Date: 2015-01-08 04:19:12 Technology Formal specification Specification language Specification Functional specification Software development process Reification Abstraction Vienna Development Method Formal methods Software development Science
673	The SAFE Experience Eran Yahav and Stephen Fink Abstract We present an overview of the techniques developed under the SAFE project. The goal of SAFE was to create a practical lightweight framework to verify simple proper Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-02-04 02:50:17 Mind Tuple Application programming interface Information Data management Mathematics Abstraction
674	Computational Thinking Maggie Johnson Director of Education and University Relations Abstraction Add to Reading List Source URL: curriculumredesign.org Language: English - Date: 2014-08-19 19:01:03 X2 Pattern Algebra
675	July 2014 Advanced Placement® Computer Science Principles Pilot Understanding by Design: Desired Results Template Add to Reading List Source URL: apcsprinciples.org Language: English - Date: 2014-09-04 08:57:34 Pedagogy Standards-based education Victorian Essential Learning Standards Abstraction Algorithm Advanced Placement Computer Science Principles and Standards for School Mathematics Transfer of learning Education Educational psychology Education reform
676	Accelerating Interpolants ⋆ Hossein Hojjat1 , Radu Iosif2 , Filip Koneˇcn´y2,4, Viktor Kuncak1, and Philipp R¨ummer3 1 Swiss Federal Institute of Technology Lausanne (EPFL) Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2012-07-02 15:54:03 Formal methods Abstraction Model theory Predicate transformer semantics Program logic Transitive closure Predicate abstraction Predicate Interpolation Mathematical logic Mathematics Logic
677	Abstract Semantic Differencing via Speculative Correlation Nimrod Partush Eran Yahav Technion Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2014-09-28 10:55:49 Logic Algorithm Abstraction Model theory Function Model checking Mathematics Theoretical computer science Abstract interpretation
678	A Concept Formation Based Approach to Object Identification in Procedural Code* Houari A. Sahraoui1, Hakim Lounis1, Walcélio Melo2 and Hafedh Mili3 1 Centre de Recherche Informatique de Montréal, {hsahraou, hlounis}@c Add to Reading List Source URL: intra.info.uqam.ca Language: English - Date: 2009-08-04 12:54:29 Data types Object-oriented programming Graph theory Programming paradigms Graph Reference Topology Object Abstraction Software engineering Computing Computer programming
679	INVITED PAPER Overview of the Stereo and Multiview Video Coding Extensions of the H.264/ Add to Reading List Source URL: iphome.hhi.de Language: English - Date: 2015-05-29 04:12:22 Data compression Electronic engineering MPEG ISO standards High-definition television H.264/MPEG-4 AVC Multiview Video Coding Scalable Video Coding Network Abstraction Layer Video compression Video Videotelephony
680	Create PT.docx Add to Reading List Source URL: apcsprinciples.org Language: English - Date: 2015-03-12 20:07:46 Notation Programming language Abstraction Comment Computer program Algorithm Computer Computing Information Computer programming

UPDATE