Ditemukan 601 dokumen yang sesuai dengan query
Ario Santoso, author
Studi tentang type theory telah memberikan kontribusi penting dalam dunia ilmu komputer, terutama dalam rekayasa perangkat lunak, basis data, computational linguistics, desain bahasa pemrograman, automated theorem proving, high performance compiler dan keamanan jaringan komputer. Tugas akhir ini berfokus pada varian type theory yang disebut Type Assignment (TA). Kontribusi dari tugas...
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2008
S-Pdf
UI - Skripsi Open Universitas Indonesia Library
Dari pers release hasil survey/polling penggunaan software ilegal, sampai dengan hari ketujuh pada 23 Maret 2008, menunjukkan total responden adalah 441 orang dan rasio penggunaan sofware ilegal vs software legal adalah sebesar 75 persen (335 responden) versus 23 persen (96 responden).....
Artikel Jurnal Universitas Indonesia Library
Menlo Park : AAAI Press , 1991
005.1 AUT
Buku Teks Universitas Indonesia Library
Gutbrod, Roger, author
[The complexity of software is continuously growing as a result of today’s interconnected business processes. Governance of architecture and technology strategy helps to ensure coherence of software and avoid excessive complexity. At the same time software development needs room for creativity and empowerment to provide solutions to business problems of...
Berlin : [Springer, Springer], 2012
e20397548
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2012, held in Aalborg, Denmark, in November 2012. The 16 revised full papers presented together with 2 invited talks were carefully selected from 48 submissions. The papers are organized in...
Heidelberg : Springer, 2012
e20406835
eBooks Universitas Indonesia Library
Jane Cleland-Huang, editor
Software and systems traceability provides a comprehensive description of the practices and theories of software traceability across all phases of the software development lifecycle....
London: Springer, 2012
e20407432
eBooks Universitas Indonesia Library
Meyer, Bertrand, 1950-, author
Software engineering, is widely recognized as one of today's most exciting, stimulating, and profitable research areas, with a significant practical impact on the software industry and academia. The LASER school, held annually since 2004 on Elba Island, Italy, is intended for professionals from industry (engineers and managers) as well as...
Berlin: Springer-Verlag, 2011
e20408100
eBooks Universitas Indonesia Library
Donaldson, Alasatair, editor
This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The...
Berlin: [, Springer-Verlag], 2012
e20410166
eBooks Universitas Indonesia Library
This volume constitutes the refereed proceedings of the 19th EuroSPI conference, held in Vienna, Austria, in June 2012. The 29 revised papers presented in this volume were carefully reviewed and selected. They are organized in topical sections on SPI and business factors, SPI lifecycle and models, SPI assessment and quality,...
Berlin: Springer-Verlag, 2012
e20410441
eBooks Universitas Indonesia Library
Tomasz Szmuc, editor
This book constitutes the thoroughly refereed post-conference proceedings of the 4th IFIP TC2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, held in Krakow, Poland, in October 2009. The 19 revised full papers presented were carefully reviewed and selected from 63 submissions. The papers are organized in...
Heidelberg: [, Springer], 2012
e20410513
eBooks Universitas Indonesia Library
