Testing Software and Systems

33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10–12, 2021, Proceedings

David Clark,Hector Menendez,Ana Rosa Cavalli

Springer Nature Proceedings Computer Science

電子書籍を購入

15 % 引き販売価格　12,869 円10,938 円

こちらは日本のストアになります

日本ではありませんか？あなたのお住まいの国のストアを選択し、購入可能な商品をお探しください

ストアを選ぶ

購入する

楽天Koboで読む理由

楽天Koboなら読書がもっと楽しくなります。

楽天Kobo電子書籍リーダーでワンランク上の読書体験を

欲しい本が見つかる豊富な品揃え

無料の楽天Koboアプリ

あらすじ

ジャンル

この書籍について

言語　English
商品番号：9783031046735
発売日　2022年5月9日
出版社：Springer International Publishing

出版社： Springer
ファイル形式　EPUB3
サイズ　16.42 MB
ダウンロードオプション:EPUB3 (Adobe DRM)

関連書籍

Fundamental Approaches to Software Engineering

Reiner Hähnle, Wil van der Aalst

無料

Fundamental Approaches to Software Engineering

Leen Lambers, Sebastián Uchitel

無料

Software Technologies

Jorge Cardoso, Pascal Lorenz, Leszek A. Maciaszek, Marten van Sinderen

6,076 円

Evaluation of Novel Approaches to Software Engineering

Leszek A. Maciaszek, Joaquim Filipe

6,076 円

Big Data Analytics and Knowledge Discovery

Sanjay Madria, Takahiro Hara

6,076 円

Testing Software and Systems

Khaled El-Fakih, Gerassimos Barlas, Nina Yevtushenko

6,076 円

Tools and Algorithms for the Construction and Analysis of Systems

Sriram Sankaranarayanan, Natasha Sharygina

無料

Computer Aided Verification - 電子ブック Constantin Enea, Akash Lal 著

Formal Languages for Computer Simulation: Transdisciplinary Models and Applications

Pau Fonseca i Casas

23,043 円

Emergent Web Intelligence: Advanced Information Retrieval

Richard Chbeir, Youakim Badr, Ajith Abraham, Aboul-Ella Hassanien

18,231 円

Data Management Technologies and Applications

Chiara Francalanci, Markus Helfert

6,076 円

Software Engineering and Formal Methods

Radu Calinescu, Bernhard Rumpe

6,076 円

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

Tiziana Margaria, Bernhard Steffen

10,331 円

Integration of Reusable Systems

Stuart H. Rubin, Thouraya Bouabana-Tebibel

12,154 円

Grand Timely Topics in Software Engineering

Ralf Lämmel, Jácome Cunha, João P. Fernandes, Vadim Zaytsev, João Saraiva

6,076 円

Model and Data Engineering

Ladjel Bellatreche, Yannis Manolopoulos

6,076 円

Big Data Analytics and Knowledge Discovery

Sanjay Madria, Takahiro Hara

6,076 円

Model and Data Engineering

El Hassan Abdelwahed, Ladjel Bellatreche, Mattéo Golfarelli, Dominique Méry, Carlos Ordonez

6,076 円

On the Move to Meaningful Internet Systems: OTM 2016 Conferences

Tharam Dillon, Robert Meersman, eva Kühn, Christophe Debruyne, Declan O'Sullivan, Claudio Agostino Ardagna, Hervé Panetto

12,154 円

Computer Security – ESORICS 2017

Simon N. Foley, Dieter Gollmann, Einar Snekkenes

6,076 円

Integrated Formal Methods

Maurice H. ter Beek, Rosemary Monahan

9,116 円

The Semantic Web – ISWC 2022

Ulrike Sattler, Aidan Hogan, Maria Keet, Valentina Presutti, João Paulo A. Almeida, Hideaki Takeda, Pierre Monnin, Giuseppe Pirrò, Claudia d’Amato

12,154 円

The Semantic Web

Aldo Gangemi, Roberto Navigli, Maria-Esther Vidal, Pascal Hitzler, Raphaël Troncy, Laura Hollink, Anna Tordai, Mehwish Alam

6,076 円

Model and Data Engineering

Yassine Ouhammou, Mirjana Ivanovic, Alberto Abelló, Ladjel Bellatreche

6,076 円

The Semantic Web

Ruben Verborgh, Katja Hose, Heiko Paulheim, Pierre-Antoine Champin, Maria Maleshkova, Oscar Corcho, Petar Ristoski, Mehwish Alam

12,154 円

Conceptual Modeling

Heinrich C. Mayr, Giancarlo Guizzardi, Hui Ma, Oscar Pastor

6,076 円

The Semantic Web

Eva Blomqvist, Diana Maynard, Aldo Gangemi, Rinke Hoekstra, Pascal Hitzler, Olaf Hartig

10,938 円

New Trends in Database and Information Systems

Silvia Chiusano, Tania Cerquitelli, Robert Wrembel, Kjetil Nørvåg, Barbara Catania, Genoveva Vargas-Solar, Ester Zumpano

13,369 円

Database and Expert Systems Applications

Djamal Benslimane, Ernesto Damiani, William I. Grosky, Abdelkader Hameurlain, Amit Sheth, Roland R. Wagner

6,076 円

The Semantic Web

Catia Pesquita, Ernesto Jimenez-Ruiz, Jamie McCusker, Daniel Faria, Mauro Dragoni, Anastasia Dimou, Raphael Troncy, Sven Hertling

13,369 円

Rules and Reasoning

Sotiris Moschoyiannis, Rafael Peñaloza, Jan Vanthienen, Ahmet Soylu, Dumitru Roman

7,900 円

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

Tiziana Margaria, Bernhard Steffen

12,154 円

Software Engineering and Formal Methods

Domenico Bianculli, Radu Calinescu, Bernhard Rumpe

6,076 円

Intelligent Software Methodologies, Tools and Techniques

Hamido Fujita, Guido Guizzi

6,076 円

Software Engineering and Formal Methods

Bernd-Holger Schlingloff, Ming Chai

7,900 円

Software Engineering and Formal Methods

Antonio Cerone, Marco Roveri

8,995 円

The Semantic Web

Paul Groth, Maria-Esther Vidal, Fabian Suchanek, Pedro Szekley, Pavan Kapanipathi, Catia Pesquita, Hala Skaf-Molli, Minna Tamper

9,723 円

Coordination Models and Languages

Sung-Shik Jongmans, Antónia Lopes

8,507 円

Information Systems Security and Privacy

Paolo Mori, Steven Furnell, Olivier Camp

6,076 円

Fundamental Approaches to Software Engineering

Marieke Huisman, Julia Rubin

6,076 円

Software Technologies

Marten van Sinderen, Leszek A. Maciaszek, Hans-Georg Fill

6,076 円

Modelling to Program

Ajantha Dahanayake, Oscar Pastor, Bernhard Thalheim

6,076 円

The Semantic Web – ISWC 2021

Andreas Hotho, Eva Blomqvist, Stefan Dietze, Achille Fokoue, Ying Ding, Payam Barnaghi, Armin Haller, Mauro Dragoni, Harith Alani

11,911 円

Model and Data Engineering

Óscar Pastor, Yamine Aït-Ameur, Jesús M. Almendros Jiménez, Ladjel Bellatreche

6,076 円

Advances in Model and Data Engineering in the Digitalization Era

Ladjel Bellatreche, George Chernishev, Antonio Corral, Samir Ouchani, Jüri Vain

9,723 円

Software Engineering and Formal Methods

Alessandro Cimatti, Marjan Sirjani

6,076 円

Software Technologies

Hans-Georg Fill, Marten van Sinderen, Leszek A. Maciaszek

9,723 円

Conceptual Modeling

Katsumi Tanaka, Motoshi Saeki, Il-Yeol Song, Isabelle Comyn-Wattiau, Shuichiro Yamamoto

6,076 円

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

Tiziana Margaria, Bernhard Steffen

10,331 円

Advances in Databases and Information Systems

Jaroslav Pokorný, Mirjana Ivanović, Bernhard Thalheim, Petr Šaloun

6,076 円

NASA Formal Methods

Aaron Dutle, César Muñoz, Anthony Narkawicz

6,076 円

Formal Aspects of Component Software

Christiano Braga, Peter Csaba Ölveczky

6,076 円

On the Move to Meaningful Internet Systems. OTM 2017 Conferences

Hervé Panetto, Christophe Debruyne, Walid Gaaloul, Mike Papazoglou, Adrian Paschke, Claudio Agostino Ardagna, Robert Meersman

6,076 円

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles

Tiziana Margaria, Bernhard Steffen

6,076 円

Software Technologies: Applications and Foundations

Manuel Wimmer, Dániel Varró, Paolo Milazzo

6,076 円

Data Privacy Management and Autonomous Spontaneous Security

Joaquin Garcia-Alfaro, Georgios Lioudakis, Nora Cuppens-Boulahia, Simon Foley, William M. Fitzgerald

6,076 円

Theoretical Information Reuse and Integration

Thouraya Bouabana-Tebibel, Stuart H Rubin

12,154 円

Foundations and Practice of Security

Nadia Tawbi, Nora Cuppens-Boulahia, Lingyu Wang, Frédéric Cuppens, Joaquin Garcia-Alfaro

6,076 円

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIII

Abdelkader Hameurlain, Josef Küng, Roland Wagner, Reza Akbarinia, Esther Pacitti

6,076 円

SmartShadow: Models and Methods for Pervasive Computing

Zhaohui Wu, Gang Pan

12,154 円

Formal Aspects of Component Software

Olga Kouchnarenko, Ramtin Khosravi

6,076 円

Software Engineering and Formal Methods

Steve Counsell, Manuel Núñez

6,076 円

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Tiziana Margaria, Bernhard Steffen

6,076 円

Conceptual Modeling

Mong Li Lee, Paul Johannesson, Óscar Pastor López, Stephen W. Liddle, Andreas L. Opdahl

6,076 円

Formal Methods: Foundations and Applications

Sérgio Campos, Marius Minea

6,685 円

Advanced Information Systems Engineering

Marta Indulska, Iris Reinhartz-Berger, Carlos Cetina, Oscar Pastor

9,116 円

Model-Driven Engineering and Software Development

Slimane Hammoudi, Luís Ferreira Pires, Bran Selić

6,076 円

Cooperative Information Systems

Mohamed Sellami, Paolo Ceravolo, Hajo A. Reijers, Walid Gaaloul, Hervé Panetto

6,076 円

Leveraging Applications of Formal Methods, Verification and Validation

Tiziana Margaria, Bernhard Steffen

8,507 円

Cyber-Physical System Design from an Architecture Analysis Viewpoint

Jean-Pierre Talpin, Shin Nakajima, Huafeng Yu, Masumi Toyoshima

12,154 円

Runtime Verification - 電子ブック Yliès Falcone, César Sánchez 著

Meta-Programming and Model-Driven Meta-Program Development

Vytautas Štuikys, Robertas Damaševičius

12,154 円

Runtime Verification - 電子ブック Shuvendu Lahiri, Giles Reger 著

Formal Aspects of Component Software

José Proença, Markus Lumpe

6,076 円

Database and Expert Systems Applications

Djamal Benslimane, Ernesto Damiani, William I. Grosky, Abdelkader Hameurlain, Amit Sheth, Roland R. Wagner

6,076 円

Foundations and Practice of Security

Joaquin Garcia-Alfaro, Evangelos Kranakis, Guillaume Bonfante

6,076 円

Tests and Proofs - 電子ブック Frédéric Loulergue, Franz Wotawa 著

Formal Methods for Industrial Critical Systems

Jan Friso Groote, Marieke Huisman

8,507 円

Dependability and Computer Engineering: Concepts for Software-Intensive Systems

Luigia Petre, Kaisa Sere, Elena Troubitsyna

27,503 円

The Semantic Web: ESWC 2022 Satellite Events

Paul Groth, Anisa Rula, Jodi Schneider, Ilaria Tiddi, Elena Simperl, Panos Alexopoulos, Rinke Hoekstra, Mehwish Alam, Anastasia Dimou, Minna Tamper

9,723 円

Knowledge Discovery, Knowledge Engineering and Knowledge Management

Ana Fred, Jan L. G. Dietz, David Aveiro, Kecheng Liu, Joaquim Filipe

6,076 円

SOFSEM 2018: Theory and Practice of Computer Science

A Min Tjoa, Ladjel Bellatreche, Stefan Biffl, Jan van Leeuwen, Jiří Wiedermann

6,076 円

Emergent Web Intelligence: Advanced Semantic Technologies

Youakim Badr, Richard Chbeir, Ajith Abraham, Aboul-Ella Hassanien

18,231 円

Semantic Web Challenges

Harald Sack, Stefan Dietze, Anna Tordai, Christoph Lange

6,076 円

Integrated Formal Methods - 電子ブック Erika Ábrahám, Marieke Huisman 著

Coordination Models and Languages

Jean-Marie Jacquet, Mieke Massink

6,076 円

Coordination Models and Languages

Maurice H. ter Beek, Marjan Sirjani

14,585 円

Software Reuse: Bridging with Social-Awareness

Eduardo Santana de Almeida, Georgia M. Kapitsaki

6,076 円

Conceptual Modeling

Jolita Ralyté, Sharma Chakravarthy, Mukesh Mohania, Manfred A. Jeusfeld, Kamalakar Karlapalem

6,076 円

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering

Tiziana Margaria, Bernhard Steffen

8,507 円

Advances in Databases and Information Systems

Mārīte Kirikova, Kjetil Nørvåg, George A. Papadopoulos

6,076 円

Modelling Foundations and Applications

Anthony Anjorin, Huáscar Espinoza

6,076 円

Knowledge Engineering and Knowledge Management

Eva Blomqvist, Paolo Ciancarini, Francesco Poggi, Fabio Vitali

12,154 円

Model-Driven Engineering and Software Development

Luís Ferreira Pires, Joaquim Filipe, Slimane Hammoudi, Rui César das Neves

6,076 円

The Semantic Web

Eva Blomqvist, Diana Maynard, Aldo Gangemi, Rinke Hoekstra, Pascal Hitzler, Olaf Hartig

6,076 円

その他の著書

Relationship Communication: Mistakes Every Couple Makes and How to Fix Them - Discover How to Resolve Any Conflict with Your Partner and Create Deeper Intimacy in Your Relationship

David Clark

350 円

The Diaconate in Ecumenical Perspective

D. Michael Jackson, Frederick C. (Fritz) Bauerschmidt, Anne Keffer, Maylanne Maybee, George E. Newman, Alison Peden, Josephine (Phina) Borgeson, Rosalind Brown, Brian A. Butcher, David Clark, Susanne Watson Epting, Gloria Marie Jones, E. Louise Williams