Ditemukan 169 dokumen yang sesuai dengan query
Bruegge, Bernd, author
New Jersey: Pearson, 2004
005.12 BRU o
Buku Teks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 4th International Symposium on Engineering Secure Software and Systems, ESSoS 2012, held in Eindhoven, The Netherlands, in February 2012. The 7 revised full papers presented together with 7 idea papers were carefully reviewed and selected from 53 submissions. The full papers present...
Berlin: Springer-Verlag, 2012
e20409115
eBooks Universitas Indonesia Library
This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimarães, Portugal, in October 2010. The 13 full papers and 4 short papers presented together with 1 panel discussion and 2 invited talks were carefully reviewed and selected from...
Berlin: Springer-Verlag, 2012
e20408664
eBooks Universitas Indonesia Library
Amsterdam: North-Holland, 1981
001.642 SOF
Buku Teks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 21st European Symposium on Programming, ESOP 2012, held in Tallinn, Estonia, as part of ETAPS 2012, in March/April 2012. The 28 full papers, presented together with one full length invited talk, were carefully reviewed and selected from 92 submissions. Papers were invited...
Berlin: Springer-Verlag, 2012
e20410294
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 17th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2012, held in Stockholm, Sweden, in June 2012. The revised 15 full papers presented were carefully reviewed and selected from 34 submissions. They are organized in topical sections on application frameworks, use of...
Berlin: Springer-Verlag, 2012
e20409250
eBooks Universitas Indonesia Library
O`Regan, Gerard, author
This essential textbook presents a concise introduction to the fundamental principles of software engineering, together with practical guidance on how to apply the theory in a real-world, industrial environment. The wide-ranging coverage encompasses all areas of software design, management, and quality.
Topics and features:
- Presents a broad overview of software engineering,...
Switzerland: Springer Nature, 2017
e20509967
eBooks Universitas Indonesia Library
This book contains the extended and revised versions of eight of the ten full papers (out of 58 submissions) presented at the First International Symposium on Business Modeling and Software Design (BMSD 2011), held in Sofia, Bulgaria.
The theme of BMSD 2011 was "business models and advanced software Systems," and the...
Berlin: Springer-Verlag, 2012
e20410493
eBooks Universitas Indonesia Library
This book brings together a selection of the best papers from the twentiethedition of the Forum on specification and Design Languages Conference (FDL), which took place on September 18-20, 2017, in Verona, Italy. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new...
Switzerland: Springer Nature, 2019
e20509145
eBooks Universitas Indonesia Library
