Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Εναλλακτικές αναζητήσεις:
https development » crops development, apps development, fetus development
internal methods » integral methods, general methods
development java » development japan, development jane, development jan
1
Εξώφυλλο
Έκδοση 2005
Πίνακας περιεχομένων: “... -- Towards a Precise UML-Based Development Method -- Tutorials -- Fault Tolerance – Concepts...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
2
Εξώφυλλο
Έκδοση 2014
Πίνακας περιεχομένων: “...Part: Principles of Large-Scale Agile Development -- Towards Principles of Large-Scale Agile...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
3
Εξώφυλλο
Έκδοση 2010
Πίνακας περιεχομένων: “...-simulation in the Development of Dependable Embedded Systems -- Programming with Miracles -- An Event-B...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
4
Εξώφυλλο
Έκδοση 2006
Πίνακας περιεχομένων: “... Railway Signaling Manufacturer -- Partially Introducing Formal Methods into Object-Oriented Development...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
5
Εξώφυλλο
Έκδοση 2012
Πίνακας περιεχομένων: “... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
6
Εξώφυλλο
Έκδοση 2005
Πίνακας περιεχομένων: “... Refinement -- A Fully Abstract Semantics for UML Components -- From (Meta) Objects to Aspects: A Java...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
7
Εξώφυλλο
Έκδοση 2010
Θέματα: “...Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
8
Εξώφυλλο
Έκδοση 2007
Πίνακας περιεχομένων: “... of Security and Behaviour of Java Applications -- Towards a Formal Framework for Computational Trust -- Models...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
9
Εξώφυλλο
Έκδοση 2013
Πίνακας περιεχομένων: “... Refinement Techniques -- Project Zeppelin: A Modern Web Application Development Framework -- The ParaPhrase...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
10
Εξώφυλλο
Έκδοση 2008
Πίνακας περιεχομένων: “... and Encapsulation -- COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
11
Εξώφυλλο
Έκδοση 2006
Πίνακας περιεχομένων: “... Checking with Separation Logic -- Orion: High-Precision Methods for Static Error Analysis of C and C...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
12
Εξώφυλλο
Έκδοση 2010
Πίνακας περιεχομένων: “... Automated Formal Methods -- Multicore Embedded Systems: The Timing Problem and Possible Solutions -- Theorem...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
13
Εξώφυλλο
Έκδοση 2012
Πίνακας περιεχομένων: “... the FlexRay Startup Phase -- Model-Based Risk Assessment Supporting Development of HSE Plans for Safe Offshore...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
14
Εξώφυλλο
Έκδοση 2008
Πίνακας περιεχομένων: “... of Formal Analysis into a Model-Based Software Development Process -- Formal Verification with Isabelle/HOL...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
15
Εξώφυλλο
Έκδοση 2010
Πίνακας περιεχομένων: “... of BPMN Models Using Event-B -- Developing Mode-Rich Satellite Software by Refinement in Event B...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
16
Εξώφυλλο
Έκδοση 2005
Πίνακας περιεχομένων: “... Algorithm for Geoscientific Modelling -- Evaluating Methods for Interpolating Continuous Surfaces from...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
17
Εξώφυλλο
Έκδοση 2015
Πίνακας περιεχομένων: “... Specification -- Development of a Software Tool to Support Traceability-Based Inspection of SOFL Specifications...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
18
Εξώφυλλο
Έκδοση 2005
Πίνακας περιεχομένων: “... Around Advice Composition -- Guaranteeing Resource Bounds for Component Software -- Analysis of Java...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
19
Εξώφυλλο
Έκδοση 2006
Πίνακας περιεχομένων: “... On-Board Software -- Regular Papers -- Interpreting Invariant Composition in the B Method Using the Spec...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
20
Εξώφυλλο
Έκδοση 2014
Πίνακας περιεχομένων: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
Εργαλεία αναζήτησης: Λήψη RSS — Αποστολή αναζήτησης με email — Αποθήκευση αναζήτησης