Ditemukan 170 dokumen yang sesuai dengan query
Amsterdam: North-Holland, 1981
001.642 SOF
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 an overview on state-of-the-art knowledge and report on key insights from their real-life experience. They provide guidance and hands-on recommendation on how to create winning ...
"
Berlin: [Springer, ], 2012
e20397298
eBooks Universitas Indonesia Library
Kamat, Rajanish K.
"
In this book along with the VHDL coding issues, the simulation and synthesis with the various toolsets enables the potential reader to visualize the final design. The VHDL design codes have been synthesized using different third party tools such as xilinx web pack Ver.11, modelsim PE, leonrado spectrum and synplify pro. Mixed flow illustrated by using the above mentioned tools presents an insight to optimize the design with reference to the spatial, temporal and power ...
"
Dordrecht, Netherlands: [Springer, ], 2012
e20398344
eBooks Universitas Indonesia Library
Andy Schurr, editor
"
This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Symposium on Applications of Graph Transformations, AGTIVE 2011, held in Budapest, Hungary, in October 2011.
The 13 revised full papers presented together with 2 invited talks, 2 application reports and 3 tool demonstration papers were carefully selected from 36 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on invited talk abstracts, model-driven engineering, graph transformation applications, ...
"
Berlin: Springer, 2012
e20407274
eBooks Universitas Indonesia Library
Cesare, Silvio
"
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 methods to identify software variants, clones, derivatives, and classes of software. Software Similarity and Classification reviews the literature of those core concepts, in addition to ...
"
London: Springer, 2012
e20407717
eBooks Universitas Indonesia Library
Sannella, Donald
"
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 specification and development; and proof methods.
...
"
Berlin: Springer-Verlag, 2012
e20407790
eBooks Universitas Indonesia Library
Aoki, Toshiaki, 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 methods and their applications in software engineering. They are organized in topical sections on concurrency, applications of formal methods to new areas, quantity and probability, ...
"
Berlin: Springer-Verlag, 2012
e20407818
eBooks Universitas Indonesia Library
"
This book comprises the refereed proceedings of the International Conferences, ASEA and DRBC 2012, held in conjunction with GST 2012 on Jeju Island, Korea, in November/December 2012. The papers presented were carefully reviewed and selected from numerous submissions and focus on the various aspects of advanced software engineering and its applications, and disaster recovery and business continuity ...
"
Berlin: Springer-Verlag, 2012
e20408372
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 37 submissions. The workshop seeks to develop a better understanding on how formal methods can or should be used for component-based software development to succeed ...
"
Berlin: Springer-Verlag, 2012
e20408664
eBooks Universitas Indonesia Library
"
This book constitutes the thoroughly refereed post-conference proceedings of the workshops held at the 11th International Conference on Web Engineering, ICWE 2011, in Paphos, Cyprus, in June 2011. The 42 revised full papers presented were carefully reviewed and selected from numerous submissions . The papers are organized in sections on the Third International Workshop on Lightweight Composition on the Web (ComposableWeb 2011); First International Workshop on Search, Exploration and Navigation of Web Data Sources (ExploreWeb ...
"
Berlin: Springer-Verlag, 2012
e20409099
eBooks Universitas Indonesia Library
