for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
Constitutes the refereed proceedings of the 19th European Symposium on Programming, ESOP 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software.
History of Computing: Learning from the Past Why is the history of... Læs mere
Constitutes the proceedings of the International Conference on Information Computing and Applications, held in Tangshan, China, in October 2010.
S-Cube’s Foundations for the Internet of Services Today’s Internet is... Læs mere
Job titles like “Technical Architect” and “Chief Architect” nowadays abound in software industry, yet many people suspect that “architecture” is one of the most overused... Læs mere
Bridging theory and practice, this book offers model based control design techniques and methods for verifying design robustness. Emphasizes sound design practices and systematic software development processes according to the generic standard IEC61508.
In its updated 2nd edition, this book details the complete business process lifecycle from modeling to process enactment and improvement, taking all stakeholders into account. Includes management architectures and such standards as WfMC, SOAP, WSDL and BPEL.
The book is self-contained and it is suitable as a course book in undergraduate or graduate studies where the need for empirical studies in software engineering is stressed.
Whether ERP software, office applications, open-source products or online games: In terms of its economic characteristics, software differs fundamentally from industrial goods or services.
This book explains synchronization and the implementation of concurrent objects, presenting synchronization algorithms while also introducing the theory that underlies the implementation of concurrent objects in the presence of asynchrony and process crashes.
This introduction to cryptography uses a programming-oriented approach to study important current cryptographic schemes and the main cryptanalytic attacks against them. The Maple implementations include many examples with parameters of realistic size.
The papers are organized in topical sections on behavioural analysis, high-level graph transformation, revisited approaches, general transformation models, structuring and verification, graph transformations in use, (meta-)model evolution and incremental approaches.