Yazar
Guizzardi, Giancarlo. editor.
Format:
Electronic Resources
Alıntı:
promote and disseminate research on theories of concepts underlying conceptual modeling, methods and tools
Yazar
Biondi, Fabrizio. editor.
Format:
Electronic Resources
Alıntı:
demo-tool papers, were carefully reviewed and selected from 29 submissions. Topics covered include formal
Yazar
Echahed, Rachid. editor.
Format:
Electronic Resources
Alıntı:
Transformations -- Model Checking Reconfigurable Petri Nets with Maude -- Tools and Algorithms -- A Software
Yazar
Blanchette, Jasmin Christian. editor.
Format:
Electronic Resources
Alıntı:
Generation Tools for the B-Method Using Tests: a Case Study -- Software Validation via Model Animation
Yazar
Lanese, Ivan. editor.
Format:
Electronic Resources
Alıntı:
Tool for Reachability by Design -- MPASS: An Efficient Tool for the Analysis of Message-Passing
Yazar
O’Regan, Gerard. author.
Format:
Electronic Resources
Alıntı:
professionals and software managers in industry will also find the book to be a useful tool for self-study.
Yazar
De Nicola, Rocco. editor.
Format:
Electronic Resources
Alıntı:
Component-Based Systems -- Tightening a Contract Refinement -- BMotionWeb: A Tool for Rapid Creation of Formal
Yazar
Wirsing, Martin. editor.
Format:
Electronic Resources
Alıntı:
presenting the methods, tools and theories developed within the ASCENS project. ASCENS was an integrated
Yazar
Iida, Shusaku. editor.
Format:
Electronic Resources
Alıntı:
Evidential Tool Bus (Extended Abstract) -- Synthesis of Infinite-State Abstractions and Their Use for
Yazar
Lutz, Carsten. editor.
Format:
Electronic Resources
Alıntı:
Automated Reasoning: The Case of Two Generic Automated Reasoning Tools -- On Bounded-Memory Stream Data
Yazar
Bartocci, Ezio. editor.
Format:
Electronic Resources
Alıntı:
-- Tool Papers -- StaRVOOrS - A Tool for Combined Static and Runtime Verification of Java -- TIPEX: a tool
Yazar
Kroening, Daniel. editor.
Format:
Electronic Resources
Alıntı:
PRObabilistic ParamEter SYnthesis Tool -- Software Analysis -- Effective Search-Space Pruning for Solvers of
Arama Sonuçlarını Sınırlandır
Daraltılmış: