Søgeresultater - models ((developing programmed) OR (development programme)) program construction https

1

Genetic Programming 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Estimation: A Signal-Based Model -- Good News: Using News Feeds with Genetic Programming to Predict Stock...”
Få fuldtekst

Electronisk eBog

2

Adapting Proofs-as-Programs The Curry--Howard Protocol /

af Poernomo, Iman., Poernomo, Iman., Crossley, John N., Wirsing, Martin.
Udgivet 2005

Indholdsfortegnelse: “... Specifications -- Structured Program Synthesis -- Epilogue -- Conclusions: Toward Constructive Logic as a...”
Få fuldtekst

Electronisk eBog

3

Construction and Evolution of Code Generators A Model-Driven and Service-Oriented Approach /

Udgivet 2013

Indholdsfortegnelse: “...The state of the art in code generation -- Extreme model-driven development and jABC -- The Genesys...”
Få fuldtekst

Electronisk eBog

4

Programs, Proofs, Processes 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”
Få fuldtekst

Electronisk eBog

5

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... of Control -- Programming Language Concepts for Multimedia Application Development -- Implicit and Dynamic...”
Få fuldtekst

Electronisk eBog

6

Unconventional Programming Paradigms International Workshop UPP 2004, Le Mont Saint Michel, France...

Udgivet 2005

Indholdsfortegnelse: “...-programming over Membranes -- Modelling Dynamically Organised Colonies of Bio-entities -- P Systems: Some...”
Få fuldtekst

Electronisk eBog

7

Agile Software Construction

af Hunt, John., Hunt, John.
Udgivet 2006

Indholdsfortegnelse: “... -- Extreme Programming (XP) -- Putting XP into Practise -- Agile Modelling and XP -- Agile Modelling and XP...”
Få fuldtekst

Electronisk eBog

8

Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European...

Udgivet 2007

Indholdsfortegnelse: “... Register Allocation -- Program Analysis -- Program Refactoring, Program Synthesis, and Model-Driven...”
Få fuldtekst

Electronisk eBog

9

Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “...Invited Papers -- Nonmonotonic Reasoning in FLORA-2 -- Data Integration and Answer Set Programming...”
Få fuldtekst

Electronisk eBog

10

An Introduction to Network Programming with Java

af Graba, Jan., Graba, Jan.
Udgivet 2007

Indholdsfortegnelse: “...Basic Concepts, Protocols and Terminology -- Starting Network Programming in Java -- Multithreading...”
Få fuldtekst

Electronisk eBog

11

Generative Programming and Component Engineering 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... Programming Approach to Developing DSL Compilers -- Efficient Code Generation for a Domain Specific Language...”
Få fuldtekst

Electronisk eBog

12

OpenMP Shared Memory Parallel Programming International Workshop, IWOMP 2005 and IWOMP 2006, Eugene...

Udgivet 2008

Indholdsfortegnelse: “... Memory Model -- Applications II -- Performance and Programmability Comparison Between OpenMP and MPI...”
Få fuldtekst

Electronisk eBog

13

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... Programs -- Model Checking Abstract State Machines with Answer Set Programming -- Characterizing...”
Få fuldtekst

Electronisk eBog

14

Ethics and Compliance Programs in Multinational Organizations

af Wulf, Katharina., Wulf, Katharina.
Udgivet 2012

Fag: “...Entrepreneurship. https://scigraph.springernature.com/ontologies/product-market-codes/514000...”
Få fuldtekst

Electronisk eBog

15

Software Process Modeling

Udgivet 2005

Indholdsfortegnelse: “... Source Software Development Process Modeling -- Software Dependability Applications in Process Modeling...”
Få fuldtekst

Electronisk eBog

16

Principles of the Spin Model Checker

af Ben-Ari, Mordechai., Ben-Ari, Mordechai.
Udgivet 2008

Indholdsfortegnelse: “...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...”
Få fuldtekst

Electronisk eBog

17

Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification /

af Gamatié, Abdoulaye., Gamatié, Abdoulaye.
Udgivet 2010

Indholdsfortegnelse: “... -- Programming Units: Processes -- Extended Constructs -- Design in P: First Steps -- Formal properties of SIGNAL...”
Få fuldtekst

Electronisk eBog

18

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

Udgivet 2010

Indholdsfortegnelse: “... Framework and Software Infrastructure for the Construction of Software Production Methods -- Software...”
Få fuldtekst

Electronisk eBog

19

Transactions on Aspect-Oriented Software Development XI

Udgivet 2014

Indholdsfortegnelse: “...Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs...”
Få fuldtekst

Electronisk eBog

20

Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009. Reports and Revised Selected Papers /

Udgivet 2010

Indholdsfortegnelse: “... Development -- Educators’ Symposium -- Essentials of the 5th Educators’ Symposium at MODELS 2009 -- Teaching...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning