Ähnliche Schlagwörter innerhalb Ihrer Suche.
Andere Suchmöglichkeiten:
communication programming » communications programming, communication programmed, communication programmes
programming programming » programming programmed, programming program
general communication » federal communications, gender communication, generation communication
programming contracts » programming contract, programming constructs, programming constraints
https » http
1
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
2
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “... Refactoring of Concurrent Java Code -- Programming Coordinated Behavior in Java -- JCoBox: Generalizing Active...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
3
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “... -- Graph Transformation -- Incremental Service Composition Based on Partial Matching of Visual Contracts...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
4
Buchumschlag
Veröffentlicht 2006
Inhaltsangabe: “...: Finding the Right Level of Generality -- Combining Normal Communication with Ontology Alignment -- Towards...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
5
Buchumschlag
Veröffentlicht 2006
Inhaltsangabe: “... Different Contracts in Hierarchical Component-Based Systems -- Automated Pattern-Based Pointcut Generation...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
6
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “... -- Taming Concurrency: A Program Verification Perspective -- Contributed Papers -- A Model of Dynamic...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
7
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “... of Processes -- A Logic for True Concurrency -- A Theory of Design-by-Contract for Distributed Multiparty...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
8
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
9
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “... for Distributed Shortest Paths and Its Experimental Evaluation -- Contraction of Timetable Networks with Realistic...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
10
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “... -- Linear-Time Enumeration of Isolated Cliques -- Finding Shortest Non-separating and Non-contractible...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
11
Buchumschlag
Veröffentlicht 2006
Inhaltsangabe: “... -- Algorithmic Graph Minor Theory: Improved Grid Minor Bounds and Wagner’s Contraction -- Best Student Paper 2006...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
12
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “... for Embedded Systems: The Octopus Toolset -- Contract-Based Slicing -- Worst-Case Traversal Time (WCTT...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
13
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “... Process Using UML -- SoftContract: Model-Based Design of Error-Checking Code and Property Monitors...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
14
Buchumschlag
Veröffentlicht 2014
Inhaltsangabe: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
15
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “... in Planar Graphs -- On the Number of Spanning Trees a Planar Graph Can Have -- Contractions of Planar Graphs...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
16
Buchumschlag
Schlagworte: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
17
Buchumschlag
Veröffentlicht 2007
Inhaltsangabe: “... Contracts for Deployment on Alien Grids -- A Transparent Framework for Hierarchical Master-Slave Grid...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
18
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “... -- Control Flow Analysis of UML 2.0 Sequence Diagrams -- Designing a Domain-Specific Contract Language: A...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
19
Buchumschlag
Veröffentlicht 2014
Inhaltsangabe: “... of Communicating Multi-pushdown Systems -- Pairwise Reachability Analysis for Higher Order Concurrent Programs...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
20
Buchumschlag
Veröffentlicht 2006
Inhaltsangabe: “... -- Managing Trust in Distributed Agent Systems -- Track 1: Autonomic/Organic Computing and Communications...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge: RSS-Feed abonnieren — Diese Suche als E-Mail versenden — Suche speichern