|
|
|
|
| LEADER |
00000nam a2200000 a 4500 |
| 001 |
5535995 |
| 005 |
20050913163400.0 |
| 008 |
041126s2004 gw 000 0 eng d |
| 003 |
ICU |
| 010 |
|
|
|a 2004114617
|
| 020 |
|
|
|a 3540238417
|
| 040 |
|
|
|a LWU
|c LWU
|d UtOrBLW
|d OrLoB-B
|
| 049 |
|
|
|a CGUA
|
| 090 |
|
|
|a QA76.9.F67
|b I5788
|
| 111 |
2 |
|
|a International Conference on Formal Engineering Methods
|n (6th :
|d 2004 :
|c Seattle, Wash.)
|
| 245 |
1 |
0 |
|a Formal methods and software engineering :
|b 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings /
|c Jim Davies, Wolfram Schulte, Mike Barnett (editions.).
|
| 246 |
3 |
0 |
|a ICFEM 2004
|
| 260 |
|
|
|a Berlin :
|b Springer,
|c c2004.
|
| 300 |
|
|
|a xiii, 500 pages :
|b illustrations ;
|c 24 cm.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|0 http://id.loc.gov/vocabulary/contentTypes/txt
|
| 337 |
|
|
|a unmediated
|b n
|2 rdamedia
|0 http://id.loc.gov/vocabulary/mediaTypes/n
|
| 338 |
|
|
|a volume
|b nc
|2 rdacarrier
|0 http://id.loc.gov/vocabulary/carriers/nc
|
| 440 |
|
0 |
|a Lecture notes in computer science,
|x 0302-9743 ;
|v 3308
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 505 |
0 |
0 |
|t Model-based development : combining engineering approaches and formal techniques /
|r Bernhard Schatz --
|t Tutorial on the RAISE language, method and tools /
|r Chris George --
|t Model-based testing with spec# /
|r Jonathan Jacky --
|t Formal engineering for industrial software development - an introduction to the SOFL specification language and method /
|r Shaoying Liu --
|t Tutorial : software model checking /
|r Edmund Clarke and Daniel Kroening --
|t Engineering quality software /
|r Amitabh Srivastava --
|t When can formal methods make a real difference? /
|r Peter G. Neumann --
|t On the adoption of formal methods by industry : the ACL2 experience /
|r J. Strother Moore --
|t A CLP approach to modelling systems /
|r Joxan Jaffar --
|t Multi-prover verification of C programs /
|r Jean-Christophe Filliatre and Claude Marche --
|t Memory-model-sensitive data race analysis /
|r Yue Yang, Ganesh Gopalakrishnan and Gary Lindstrom --
|t Formal models for Web navigations with session control and browser cache /
|r Jessica Chen and Xiaoshan Zhao --
|t Managing verification activities using SVM /
|r Bill Aldrich, Ansgar Fehnker, Peter H. Feiler, Zhi Han, Bruce H. Krogh, Eric Lim and Shiva Sivashankar --
|t A general model for reachability testing of concurrent programs /
|r Richard H. Carver and Yu Lei --
|t A knowledge based analysis of cache coherence /
|r Kai Baukus and Ron van der Meyden --
|t A propositional logic-based method for verification of feature models /
|r Wei Zhang, Haiyan Zhao and Hong Mei --
|t Deriving probabilistic semantics via the 'weakest completion' /
|r He Jifeng, Carroll Morgan and Annabelle McIver --
|t CSP representation of game semantics for second-order idealized algol /
|r Aleksandar Dimovski and Ranko Lazic --
|t An equational calculus for alloy /
|r Marcelo F. Frias, Carlos G. Lopez Pombo and Nazareno M. Aguirre --
|t Guiding spin simulation /
|r Nicolae Goga and Judi Romijn --
|t Linear inequality LTL ( iLTL) : a model checker for discrete time Markov chains /
|r Young Min Kwon and Gul Agha --
|t Software model checking using linear constraints /
|r Alessandro Armando, Claudio Castellini and Jacopo Mantovani --
|t Counterexample guided abstraction refinement via program execution /
|r Daniel Kroening, Alex Groce and Edmund Clarke --
|t Faster analysis of formal specifications /
|r Fabrice Bouquet, Bruno Legeard, Mark Utting and Nicolas Vacelet --
|t Bridging refinement of interface automata to forward simulation of I/O automata /
|r Yanjun Wen, Ji Wang and Zhichang Qi --
|t Learning to verify safety properties /
|r Abhay Vardhan, Koushik Sen, Mahesh Viswanathan and Gul Agha --
|t Automatic extraction of object-oriented observer abstractions from unit-test executions /
|r Tao Xie and David Notkin --
|t A specification-based approach to testing polymorphic attributes /
|r Ling Liu and Huaikou Miao --
|t From Circus to JCSP /
|r Marcel Oliveira and Ana Cavalcanti --
|t An approach to preserve protocol consistency and executability across updates /
|r Mahadevan Subramaniam and Parvathi Chundi --
|t A formal monitoring-based framework for software development and analysis /
|r Feng Chen, Marcelo D'Amorim and Grigore Rosu --
|t Verifying a file system implementation /
|r Konstantine Arkoudas, Karen Zee, Viktor Kuncak and Martin Rinard --
|t Verifying the on-line help system of SIEMENS magnetic resonance tomographs /
|r Carsten Sinz and Wolfgang Kuchlin --
|t Implementing dynamic aggregations of abstract machines in the B method /
|r Nazareno Aguirre, Juan Bicarregui, Lucio Guzman and Tom Maibaum --
|t Formal proof from UML models /
|r Nuno Amalio, Susan Stepney and Fiona Polack --
|t Interactive verification of UML state machines /
|r Michael Balser, Simon Baumler, Alexander Knapp, Wolfgang Reif and Andreas Thums --
|t Refinement of actions for real-time concurrent systems with causal ambiguity /
|r Mila Majster-Cederbaum, Jinzhao Wu, Houguang Yue and Naijun Zhan --
|t From durational specifications to TLA designs of timed automata /
|r Yifeng Chen and Zhiming Liu --
|t Timed patterns : TCOZ to timed automata /
|r Jin Song Dong, Ping Hao, Sheng Chao Qin, Jun Sun and Wang Yi.
|
| 650 |
|
0 |
|a Formal methods (Computer science)
|v Congresses.
|0 http://id.loc.gov/authorities/subjects/sh2008104061
|
| 650 |
|
0 |
|a Software engineering
|v Congresses.
|0 http://id.loc.gov/authorities/subjects/sh2008111658
|
| 650 |
|
7 |
|a Formal methods (Computer science)
|2 fast
|0 http://id.worldcat.org/fast/fst00932926
|
| 650 |
|
7 |
|a Software engineering.
|2 fast
|0 http://id.worldcat.org/fast/fst01124185
|0 http://id.worldcat.org/fast/1124185
|
| 655 |
|
7 |
|a Conference papers and proceedings.
|2 fast
|0 http://id.worldcat.org/fast/fst01423772
|0 http://id.worldcat.org/fast/1423772
|
| 700 |
1 |
|
|a Davies, Jim,
|d 1964-
|0 http://id.loc.gov/authorities/names/n94012546
|1 http://viaf.org/viaf/116841645/
|1 http://dbpedia.org/resource/Jim_Davies_(musician)
|
| 700 |
1 |
|
|a Schulte, Wolfram.
|0 http://id.loc.gov/authorities/names/nb2004310668
|1 http://viaf.org/viaf/21658908/
|
| 700 |
1 |
|
|a Barnett, Mike.
|0 http://id.loc.gov/authorities/names/n2005084222
|1 http://viaf.org/viaf/167326204/
|
| 901 |
|
|
|a ToCBNA
|
| 903 |
|
|
|a HeVa
|
| 035 |
|
|
|a (OCoLC)57053747
|
| 929 |
|
|
|a cat
|
| 999 |
f |
f |
|i 24c02b4d-c164-5d68-81fe-51bd9cce1880
|s b7d79205-f776-54cb-a256-5c0a94a1cab8
|
| 928 |
|
|
|t Library of Congress classification
|a QA76.9.F67 I5788 2004
|l ASR
|c ASR-SciASR
|i 5061155
|
| 927 |
|
|
|t Library of Congress classification
|a QA76.9.F67 I5788 2004
|l ASR
|c ASR-SciASR
|e CRERAR
|b 69619234
|i 7785222
|
