This volume contains the papers presented at SBMF 2009: the Brazilian S- posium on Formal Methods, held during August 19 21, 2009 in Gramado, Rio Grande do Sul, Brazil. The SBMF programme included three invited talks given by Leonardo de Moura (Microsoft Research), Sebastian Uchitel (University of Buenos Aires and Imperial College London), and Daniel Kro ¨ning (University of Oxford). The symposium was accompanied by two short courses: Introduction to Software Testing, given by Marci ´ o Eduardo Delamaro (U- versity of Sao Paulo) Formal Models for Automatic Test Case Generation, given by Patr´ ?cia Machado and Wilkerson Andrade (Federal University of Campina Grande) This year, the SBMF symposium had a special section on the Grand Ch- lenge in Veri?ed Software, inspired by recent advances in theory and tool s- port. WorkonthegrandchallengestartedwiththecreationofaVeri?edSoftware Repository with two principal aims: To collect a set of veri?ed software components To conduct a series of industrial-scale veri?cation experiments with theor- ical signi?cance and impact on tool-support This special session on the grand challenge was dedicated to two pilot projects currently underway: The Flash File Store. The challenge is to verify the correctness of a fau- tolerant,POSIX-compliant?lestoreimplemented on?ashmemory. Veri?- tion issues include dependability guarantees as well as software correctness. Levels of abstractioninclude requirements speci?cation, software design, - ecutable code, device drivers,and ?ash translationlayers. The challenge was inspired by the requirements for forthcoming NASA space missions. FreeRTOS.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SAST 2009, the Brazilian Workshop on Systematic and Automated Software Testing.
The 20 revised full papers presented together with 3 invited papers were carefully selected from numerous submissions during two rounds of reviewing and improvement. The papers are devoted to the dissemination of the development and use of formal methods for the design and verification of computational systems. The symposium provided an opportunity for researchers with a broad range of interests in formal methods for developing computing systems and software to discuss recent developments in this field.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
EUR 9,90 per la spedizione da Germania a Italia
Destinazione, tempi e costiEUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costiDa: Buchpark, Trebbin, Germania
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 364 | Sprache: Englisch | Produktart: Bücher. Codice articolo 6122300/12
Quantità: 1 disponibili
Da: moluna, Greven, Germania
Kartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SAST 2009, the Brazilian Workshop on Systematic and Automated . Codice articolo 5049244
Quantità: Più di 20 disponibili
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SAST 2009, the Brazilian Workshop on Systematic and Automated Software Testing. The 20 revised full papers presented together with 3 invited papers were carefully selected from numerous submissions during two rounds of reviewing and improvement. The papers are devoted to the dissemination of the development and use of formal methods for the design and verification of computational systems. The symposium provided an opportunity for researchers with a broad range of interests in formal methods for developing computing systems and software to discuss recent developments in this field. 364 pp. Englisch. Codice articolo 9783642104510
Quantità: 2 disponibili
Da: AHA-BUCH GmbH, Einbeck, Germania
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SAST 2009, the Brazilian Workshop on Systematic and Automated Software Testing. The 20 revised full papers presented together with 3 invited papers were carefully selected from numerous submissions during two rounds of reviewing and improvement. The papers are devoted to the dissemination of the development and use of formal methods for the design and verification of computational systems. The symposium provided an opportunity for researchers with a broad range of interests in formal methods for developing computing systems and software to discuss recent developments in this field. Codice articolo 9783642104510
Quantità: 1 disponibili
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SAST 2009, the Brazilian Workshop on Systematic and Automated Software Testing. The 20 revised full papers presented together with 3 invited papers were carefully selected from numerous submissions during two rounds of reviewing and improvement. The papers are devoted to the dissemination of the development and use of formal methods for the design and verification of computational systems. The symposium provided an opportunity for researchers with a broad range of interests in formal methods for developing computing systems and software to discuss recent developments in this field.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 364 pp. Englisch. Codice articolo 9783642104510
Quantità: 2 disponibili
Da: Ria Christie Collections, Uxbridge, Regno Unito
Condizione: New. In. Codice articolo ria9783642104510_new
Quantità: Più di 20 disponibili
Da: Books Puddle, New York, NY, U.S.A.
Condizione: New. pp. 364. Codice articolo 261375750
Quantità: 4 disponibili
Da: Majestic Books, Hounslow, Regno Unito
Condizione: New. Print on Demand pp. 364 Illus. Codice articolo 6504921
Quantità: 4 disponibili
Da: Biblios, Frankfurt am main, HESSE, Germania
Condizione: New. PRINT ON DEMAND pp. 364. Codice articolo 181375756
Quantità: 4 disponibili
Da: Chiron Media, Wallingford, Regno Unito
PF. Condizione: New. Codice articolo 6666-IUK-9783642104510
Quantità: 10 disponibili