janowski tomasz (19 Ergebnisse)

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 304 | Sprache: Englisch | Produktart: Bücher.

Zustand: Like New. Used - Like New. Book is new and unread but may have minor shelf wear. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.

Softcover. Zustand: Gut. Gebraucht - Gut Zustand: Gut, Mängelexemplar, XV, 405 pp. About this book: This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Software Engineering - to construct, analyse, develop and apply formal specifications. The case studies cover a wide range of application areas including government finance, case-based reasoning, multi-language text processing, object-oriented design patterns, component-based software design and natural resource management. By illustrating the variety of uses of formal specifications, the case studies also raise questions about the creation, purpose and scope of formal models before they are built. Additional resources and complete specifications for all of the case studies and the RAISE tools used to process them, are available on the World Wide Web. This book will be of particular interest to software engineers, especially those responsible for the initial stages of requirements engineering and software architecture and design. It will also be of interest to academics and students on advanced formal methods courses. Written for software engineers.

Zustand: New.

Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 15th IFIP WG 8.5 International Conference on Electronic Government, EGOV 2016, held in Guimaraes, Portugal, in September 2016, in conjunction with the 8th International Conference on eParticipation, ePart 2016. The 24 revised full papers presented were carefully reviewed and selected from 87 submissions. The papers are clustered under the following topical sections: foundations; benchmarking and evaluation; information integration and governance; services; evaluation and public values; EGOV success and failure; governance; social media; engagement; processes; policy-making; trust, transparency and accountability; open government and big/open data; smart government/governance/cities.

Taschenbuch. Zustand: Neu. Neuware -This volume contains the papers presented at the 6th International Conference on Distributed Computing and Internet Technology(ICDCIT 2010) held during February 15¿17, 2010 in Bhubaneswar, India. The conference was organized by Kalinga Institute of Industrial Technology (KIIT) University, Bhubaneshwar, India,kiit.org,andco-organizedby the Center for ElectronicGovernance at United Nations University - International Institute for Software Technology (UNU-IIST-EGOV), Macao,egov.iist.unu.edu. InthetraditionoftheICDCITconferenceseries,ICDCIT2010welcomedp- sentations of research ideas and results in theory, methodology and applications of distributed computing and Internet technology. In addition, the conference emphasized that research in this area can play an important role in building a foundation for the development of e-Society Applications (e-Applications) and at the same time, that e-Applications can provide the relevance and context for such research. Establishing a connection between foundational and applied - searchin distributed systems and Internet technologywith softwareand services that enable e-Applications was a key feature of ICDCIT 2010. A total of 91 papers were submitted for ICDCIT 2010. Each paper was - viewedbyatleasttwomembersoftheProgramCommitteeoradditionalreferees.Spring er Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 304 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 15th IFIP WG 8.5 International Conference on Electronic Government, EGOV 2016, held in Guimaraes, Portugal, in September 2016, in conjunction with the 8th International Conference on eParticipation, ePart 2016.The 24 revised full papers presented were carefully reviewed and selected from 87 submissions. The papers are clustered under the following topical sections: foundations; benchmarking and evaluation; information integration and governance; services; evaluation and public values; EGOV success and failure; governance; social media; engagement; processes; policy-making; trust, transparency and accountability; open government and big/open data; smart government/governance/cities.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 332 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 8th IFIP WG 8.5 International Conference on Electronic Participation, ePart 2016, held in Guimarães, Portugal, in September 5-8, 2016.The 14 revised full papers presented were carefully reviewed and selected from 31 submissions. The papers reflect completed multi-disciplinary research ranging from policy analysis and conceptual modeling to programming and visualization of simulation models. They are organized in four topical threads: theoretical foundations; critical reflections; implementations; policy formulation and modeling.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 204 pp. Englisch.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 8th IFIP WG 8.5 International Conference on Electronic Participation, ePart 2016, held in Guimarães, Portugal, in September 5-8, 2016.The 14 revised full papers presented were carefully reviewed and selected from 31 submissions. The papers reflect completed multi-disciplinary research ranging from policy analysis and conceptual modeling to programming and visualization of simulation models. They are organized in four topical threads: theoretical foundations; critical reflections; implementations; policy formulation and modeling.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering.

Zustand: New. In.

Zustand: New. In.

Paperback. Zustand: Brand New. 204 pages. 9.25x6.10x0.46 inches. In Stock.

Zustand: New. In.

Paperback. Zustand: Brand New. 332 pages. 9.25x6.10x1.22 inches. In Stock.

Paperback. Zustand: Brand New. 1st edition. 347 pages. 9.25x6.00x1.00 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Software Engineering - to construct, analyse, develop and apply formal specifications. The case studies cover a wide range of application areas including government finance, case-based reasoning, multi-language text processing, object-oriented design patterns, component-based software design and natural resource management. By illustrating the variety of uses of formal specifications, the case studies also raise questions about the creation, purpose and scope of formal models before they are built. The complete specifications for all of the case studies and the RAISE tools (both source code and executables) used to process them are available at: iist.unu.edu/RAISE_Case_Studies/ This book will be of particular interest to software engineers, especially those responsible for the initial stages of requirements engineering and software architecture and design. It will also be of inte rest to academics and students on advanced formal methods courses.

Zustand: New. In.