Sökresultat - introduction computational programming programming contracts a~

Menade du:
introduction computational » introductory computational , introduction conventional , introduction international
computational programming » computation programming , computational program , computing programming
programming programming » programming programmed , programming program
programming contracts » programming contract , programming constructs , programming constraints
contracts a » contracts _

Rigorous Software Development An Introduction to Program Verification /

av Almeida, José Bacelar., Almeida, José Bacelar., Frade, Maria João., Pinto, Jorge Sousa., Melo de Sousa, Simão.
Publicerad 2011

Innehållsförteckning: “...List of Figures -- 1. Introduction -- 2. An Overview of Formal Methods Tools and Techniques -- 3...”
Hämta fulltext

Elektronisk E-bok

Rigorous Software Engineering for Service-Oriented Systems Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing /

Publicerad 2011

Innehållsförteckning: “...SENSORIA – Software Engineering for Service-Oriented Overlay Computers -- A Unifying Formal Basis...”
Hämta fulltext

Elektronisk E-bok

Ada 2012 Rationale The Language -- The Standard Libraries /

av Barnes, John., Barnes, John.
Publicerad 2013

Innehållsförteckning: “...Introduction -- Contracts and Aspects -- Expressions -- Structure and Visibility -- Tasking...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2008

Innehållsförteckning: “...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...”
Hämta fulltext

Elektronisk E-bok

PHP Objects, Patterns, and Practice

av Zandstra, Matt., Zandstra, Matt.
Publicerad 2008

Innehållsförteckning: “... Principles -- Generating Objects -- Patterns for Flexible Object Programming -- Performing and Representing...”
Hämta fulltext

Elektronisk E-bok

An Introduction to the Kähler-Ricci Flow

Publicerad 2013

Hämta fulltext

Elektronisk E-bok

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Publicerad 2014

Innehållsförteckning: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Hämta fulltext

Elektronisk E-bok

Rapid Integration of Software Engineering Techniques Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers /

Publicerad 2006

Innehållsförteckning: “... Object Code in Meta Programs -- Dynamic Imperative Languages for Runtime Extensible Semantics...”
Hämta fulltext

Elektronisk E-bok

SOFSEM 2007: Theory and Practice of Computer Science 33nd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, P...

Publicerad 2007

Innehållsförteckning: “... and Beyond -- Interaction and Realizability -- A Short Introduction to Computational Social Choice...”
Hämta fulltext

Elektronisk E-bok

Component-Based Software Development for Embedded Systems An Overview of Current Research Trends /

Publicerad 2005

Innehållsförteckning: “... for Components and Contracts in Embedded Systems -- Adopting a Component-Based Software Architecture...”
Hämta fulltext

Elektronisk E-bok

Emerging Trends in Computing, Informatics, Systems Sciences, and Engineering

Publicerad 2013

Innehållsförteckning: “... Diameter Signal for Affective Assessment of a Computer User -- TCCT: A GUI Table Comparison Computer Tool...”
Hämta fulltext

Elektronisk E-bok

Krister Segerberg on Logic of Actions

Publicerad 2014

Innehållsförteckning: “...Introduction; Robert Trypuz -- PART I -- 1. "Krister Segerberg’s Philosophy of Action"; Richmond...”
Hämta fulltext

Elektronisk E-bok

Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings /

Publicerad 2007

Innehållsförteckning: “... Checking of Analog and Mixed-Signal Circuits Using an SMT Solver -- Model Checking Contracts – A Case Study...”
Hämta fulltext

Elektronisk E-bok

Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /

Publicerad 2013

Innehållsförteckning: “...The Abstract Behavioral Specification Language: A Tutorial Introduction -- Subobject-Oriented...”
Hämta fulltext

Elektronisk E-bok

Rule Representation, Interchange and Reasoning on the Web International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings /

Publicerad 2008

Innehållsförteckning: “... and Jess Rule Engines -- A Rule-Based Notation to Specify Executable Electronic Contracts -- Rule...”
Hämta fulltext

Elektronisk E-bok

Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /

Publicerad 2008

Innehållsförteckning: “... and Logic Programming: Ugo Montanari’s Main Contributions and Introduction to the Volume Section -- Semiring...”
Hämta fulltext

Elektronisk E-bok

Multi-Agent Systems and Applications IV 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15-17, 2005, Pro...

Publicerad 2005

Innehållsförteckning: “...Invited Paper -- Palpable Computing and the Role of Agent Technology -- Research Papers -- A...”
Hämta fulltext

Elektronisk E-bok

On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - N...

Publicerad 2005

Innehållsförteckning: “... Using Contract Workflow Models -- Resource-Centric Worklist Visualisation -- CoopFlow: A Framework...”
Hämta fulltext

Elektronisk E-bok

Perspectives in Business Informatics Research 13th International Conference, BIR 2014, Lund, Sweden, September 22-24, 2014, Proceedings /

Publicerad 2014

Innehållsförteckning: “... in Large Business Process Model Environment, a Case Study -- Supporting Introduction of Social Interaction...”
Hämta fulltext

Elektronisk E-bok

Intelligent Data Mining in Law Enforcement Analytics New Neural Networks Applied to Real Problems /

Publicerad 2013

Innehållsförteckning: “... -- Chapter 3. The General Philosophy of Artificial Adaptive Systems; Massimo Buscema -- Chapter 4. A Brief...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen