|
|
|
|
| LEADER |
03080nam a22005175i 4500 |
| 001 |
6593 |
| 003 |
DE-He213 |
| 005 |
20130725190219.0 |
| 007 |
cr nn 008mamaa |
| 008 |
100301s2009 gw | s |||| 0|eng d |
| 020 |
# |
# |
|a 9783540884798
|9 978-3-540-88479-8
|
| 024 |
7 |
# |
|a 10.1007/978-3-540-88479-8
|2 doi
|
| 050 |
# |
4 |
|a QA76.758
|
| 072 |
# |
7 |
|a UMZ
|2 bicssc
|
| 072 |
# |
7 |
|a COM051230
|2 bisacsh
|
| 082 |
0 |
4 |
|a 005.1
|2 23
|
| 100 |
1 |
# |
|a Margaria, Tiziana.
|e editor.
|
| 245 |
1 |
0 |
|a Leveraging Applications of Formal Methods, Verification and Validation
|b Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings /
|c edited by Tiziana Margaria, Bernhard Steffen.
|h [electronic resource] :
|
| 264 |
# |
1 |
|a Berlin, Heidelberg :
|b Springer Berlin Heidelberg,
|c 2009.
|
| 300 |
# |
# |
|a XX, 708p.
|b online resource.
|
| 336 |
# |
# |
|a text
|b txt
|2 rdacontent
|
| 337 |
# |
# |
|a computer
|b c
|2 rdamedia
|
| 338 |
# |
# |
|a online resource
|b cr
|2 rdacarrier
|
| 347 |
# |
# |
|a text file
|b PDF
|2 rda
|
| 490 |
1 |
# |
|a Communications in Computer and Information Science,
|v 17
|x 1865-0929 ;
|
| 520 |
# |
# |
|a This book constitutes the thoroughly refereed proceedings of the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Porto Sani, Greece, in October 2008 The 68 revised full papers presented together with 2 invited talks and 1 keynote speech were carefully selected from numerous submissions. The topics covered are tools and applications in industrial software quality control; an introduction of multi-core systems in automotive applications; model-driven SOA; applications of formal approaches to service-oriented computing; trustworthy computing: theories, methods, tools and experience in China and South East Asia; non-functional requirements in embedded systems; processes, methods and tools for developing educational modules to support teaching and technology transfer; ubiquitous and context aware systems; formal methods for analysing and verifying very large systems; tools for service-oriented discovery of knowledge; tackling the challenges of software development process for SMEs with rigorous support and open source.
|
| 650 |
# |
0 |
|a Computer science.
|
| 650 |
# |
0 |
|a Computer system performance.
|
| 650 |
# |
0 |
|a Software engineering.
|
| 650 |
# |
0 |
|a Computer simulation.
|
| 650 |
1 |
4 |
|a Computer Science.
|
| 650 |
2 |
4 |
|a Software Engineering.
|
| 650 |
2 |
4 |
|a Programming Techniques.
|
| 650 |
2 |
4 |
|a Software Engineering/Programming and Operating Systems.
|
| 650 |
2 |
4 |
|a Models and Principles.
|
| 650 |
2 |
4 |
|a Simulation and Modeling.
|
| 650 |
2 |
4 |
|a System Performance and Evaluation.
|
| 700 |
1 |
# |
|a Steffen, Bernhard.
|e editor.
|
| 710 |
2 |
# |
|a SpringerLink (Online service)
|
| 773 |
0 |
# |
|t Springer eBooks
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783540884781
|
| 830 |
# |
0 |
|a Communications in Computer and Information Science,
|v 17
|x 1865-0929 ;
|
| 856 |
4 |
0 |
|u https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-540-88479-8
|
| 912 |
# |
# |
|a ZDB-2-SCS
|
| 950 |
# |
# |
|a Computer Science (Springer-11645)
|