Ditemukan 603 dokumen yang sesuai dengan query
Ario Santoso
"
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 akhir ini terdiri dari tiga hal pokok. Pertama, algoritma Principal Type (PT) dan pencarian type inhabitant diimple- mentasikan dalam PROLOG dengan menggunakan Denite Clause Grammar ...
"
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
"
[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 increasing complexity. The book looks at this software dilemma from the perspectives of CIOs/CTOs, software architects, and auditors. Each of these groups has different interests ...
"
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 topical sections on testing in practice, test frameworks for distributed systems, testing of embedded systems, test optimization, and new testing methods ...
"
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-
"
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 university researchers, including PhD students. This book contains selected lecture notes from the LASER summer schools 2008-2010, which focused on concurrency and correctness in 2008,software ...
"
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 papers are grouped in topical sections on model checking techniques, parallel model checking, case studies, model checking for concurrency, and tool demonstrations ...
"
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, SPI processes and standards, SPI in SMEs, SPI and implementation, creating environments supporting innovation and improvement, standards and experiences with the implementation of functional safety, ...
"
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 topical sections on software architectures and development, modelling and formal methods in software development, measurements, testing, and quality of software ...
"
Heidelberg: [, Springer], 2012
e20410513
eBooks Universitas Indonesia Library
