1
Fag: ...Microsoft and .NET. https://scigraph.springernature.com/ontologies/product-market-codes/I29030...
Få fuldtekst
Electronisk eBog
2
Udgivet 2014
Indholdsfortegnelse: ... System Development -- Agile Software Development in Practice -- Part Agile Challenges and Contracting...
Få fuldtekst
Electronisk eBog
3
Udgivet 2007
Indholdsfortegnelse: ... Processes -- Design by Contract-Based Selection and Composition of Learning Objects -- Online Evaluation...
Få fuldtekst
Electronisk eBog
4
Udgivet 2008
Indholdsfortegnelse: ... -- Abstract Interpretation Plugins for Type Systems -- Separation Logic Contracts for a Java-Like Language...
Få fuldtekst
Electronisk eBog
5
Udgivet 2005
Indholdsfortegnelse: ... with Non-regular Protocols -- A Java Implementation of a Component Model with Explicit Symbolic Protocols...
Få fuldtekst
Electronisk eBog
6
Udgivet 2006
Indholdsfortegnelse: ... Services Interface -- A QoS Driven Development Process Model for Component-Based Software Systems...
Få fuldtekst
Electronisk eBog
7
Udgivet 2014
Indholdsfortegnelse: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Få fuldtekst
Electronisk eBog
8
Udgivet 2010
Indholdsfortegnelse: ... of Evolving Software -- Dynamic Resource Scheduling in Disruption-Prone Software Development Environments...
Få fuldtekst
Electronisk eBog
9
Udgivet 2008
Indholdsfortegnelse: ... Ontology Development in Protégé -- Identifying Potentially Important Concepts and Relations in an Ontology...
Få fuldtekst
Electronisk eBog
10
Udgivet 2008
Indholdsfortegnelse: ... and Encapsulation -- COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode...
Få fuldtekst
Electronisk eBog
11
Udgivet 2005
Indholdsfortegnelse: ... Grid Developments in the OpenMolGRID Project -- ATLAS Data Challenge 2: A Massive Monte Carlo...
Få fuldtekst
Electronisk eBog
12
Udgivet 2014
Indholdsfortegnelse: ...Cloud, Mobile and Web Computing -- Model-Driven Development of Mobile Applications Allowing Role...
Få fuldtekst
Electronisk eBog
13
Udgivet 2005
Indholdsfortegnelse: ... Processes -- Automatic Conformance Testing of Web Services -- Graph Grammars and Graph Transformations...
Få fuldtekst
Electronisk eBog