Ditemukan 336 dokumen yang sesuai dengan query
Gates, Bill, author
New York: John Wiley, 1998
338.76 GAT b (2)
Buku Teks Universitas Indonesia Library
[This book introduces fundamentals, trends and best practices in the software industry from a threefold perspective which equally takes into account design, management, and development of software. It demonstrates how cross-functional integration can be leveraged by software companies to successfully build software for people. Professionals from business and academia give...
Berlin: [Springer, ], 2012
e20397298
eBooks Universitas Indonesia Library
Agent-centric theories, approaches and technologies are contributing to enrich interactions between users and computers. This book aims at highlighting the influence of the agency perspective in human-computer interaction through a careful selection of research contributions. Split into five sections, users as agents, agents and accessibility, agents and interactions, agent-centric paradigms...
Berlin: [Springer, ], 2012
e20398383
eBooks Universitas Indonesia Library
He, Jiang, editor
This volume constitutes the thoroughly refereed conference proceedings of the 25th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2012, held in Dalian, China, in June 2012. The total of 82 papers selected for the proceedings were carefully reviewed and selected from numerous submissions. The...
Berlin: Springer-Verlag, 2012
e20406301
eBooks Universitas Indonesia Library
Chris Hawblitzel, editor
This book constitutes the refereed proceedings of the Second International Conference on Certified Programs and Proofs, CPP 2012, held in Kyoto, Japan, in December 2012. The 18 revised regular papers presented were carefully reviewed and selected from 37 submissions. They deal with those topics in computer science and mathematics in...
Berlin: Springer-Verlag , 2012
e20406355
eBooks Universitas Indonesia Library
Luis M. Camarinha-Matos, editor
This book constitutes the refereed proceedings of the 13th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2012, held in Bournemouth, UK, in October 2012. The 61 revised papers presented were carefully selected from numerous submissions. They provide a comprehensive overview of identified challenges and recent advances in various...
Berlin: Springer-Verlag , 2012
e204006370
eBooks Universitas Indonesia Library
Cesare, Silvio, author
Software similarity and classification is an emerging topic with wide applications. It is applicable to the areas of malware detection, software theft detection, plagiarism detection, and software clone detection. Extracting program features, processing those features into suitable representations, and constructing distance metrics to define similarity and dissimilarity are the key...
London: Springer, 2012
e20407717
eBooks Universitas Indonesia Library
Sannella, Donald, author
This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studying their fundamental properties.
This book contains five kinds of material: the requisite mathematical foundations; traditional algebraic specifications; elements of the theory of institutions; formal...
Berlin: Springer-Verlag, 2012
e20407790
eBooks Universitas Indonesia Library
Toshiaki Aoki, editor
This book constitutes the refereed proceedings of the 14th International Conference on Formal Engineering Methods, ICFEM 2012, held in Kyoto, Japan, November 2012. The 31 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 85 submissions. The papers address all current issues in formal...
Berlin: Springer-Verlag, 2012
e20407818
eBooks Universitas Indonesia Library
Robert B. France, editor
This book constitutes the refereed proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems, MODELS 2012, held in Innsbruck, Austria, in September/October 2012. The 50 papers presented in this volume were carefully reviewed and selected from a total of 181 submissions. They are organized in topical...
Berlin: [, Springer-Verlag ], 2012
e20408615
eBooks Universitas Indonesia Library
