IWBOSE 2018 - 1th International Workshop on Blockchain-Oriented Software Engineering
Topics/Call fo Papers
The 1th International Workshop on Blockchain Oriented Software Engineering (BOSE), held within SANER 2018 conference (www.saner.unimol.it) is aimed at gathering together researchers and practitioners to discuss the new challenges posed to software engineers by the new software technology supporting the various blockchains infrastructures. The focus of BOSE is on the (un-)application of specific software engineering development best practices to software revolving around Blockchain.
Motivations for this workshop are the ever-increasing interest both in the research community and in the industry on Blockchain and smart contracts principles and applications, being the management of cryptocurrencies the most popular topic. Furthermore, the last years have seen the creation of new and
specialized languages for blockchain applications and smart contracts. These novelties call for specific tools, paradigms, principles, approaches and research to deal with it and for a specific Blockchain Oriented Software Engineering.
Workshop topics include, not exhaustively , the following:
Blockchain Oriented Software Engineering
Blockchain software analysis and re-engineering
Formal specification of Blockchain behavior
Agile and Lean processes for Blockchain software development
Tools for Blockchain software distributed development and community management
Smart Contracts re-engineering
Security and reliability in Blockchain and Smart Contracts
Smart Contract Testing (SCT)
Blockchain Transaction Testing (BTT) to ensure status integrity
Blockchain Software architecture, design notation and metamodels.
Smart Contracts Software architecture, design notation and metamodels.
Software Engineering for Blockchain Applications in Economy and Finance, Internet of Things, Notarization, Supply chain management, Web 3.0 – e-commerce, e-health, e-democracy, social networks, etc .
All workshop papers will be published in the SANER 2018 proceedings.
Organizing Committee:
Roberto Tonelli, University of Cagliari, Italy
Michele Marchesi, University of Cagliari, Italy
Stephane Ducasse , INRIA-LILLE, France
Gianni Fenu, University of Cagliari, Italy
Massimo Bartoletti, University of Cagliari, Italy
Andrea Bracciali University of Stirling, UK
Motivations for this workshop are the ever-increasing interest both in the research community and in the industry on Blockchain and smart contracts principles and applications, being the management of cryptocurrencies the most popular topic. Furthermore, the last years have seen the creation of new and
specialized languages for blockchain applications and smart contracts. These novelties call for specific tools, paradigms, principles, approaches and research to deal with it and for a specific Blockchain Oriented Software Engineering.
Workshop topics include, not exhaustively , the following:
Blockchain Oriented Software Engineering
Blockchain software analysis and re-engineering
Formal specification of Blockchain behavior
Agile and Lean processes for Blockchain software development
Tools for Blockchain software distributed development and community management
Smart Contracts re-engineering
Security and reliability in Blockchain and Smart Contracts
Smart Contract Testing (SCT)
Blockchain Transaction Testing (BTT) to ensure status integrity
Blockchain Software architecture, design notation and metamodels.
Smart Contracts Software architecture, design notation and metamodels.
Software Engineering for Blockchain Applications in Economy and Finance, Internet of Things, Notarization, Supply chain management, Web 3.0 – e-commerce, e-health, e-democracy, social networks, etc .
All workshop papers will be published in the SANER 2018 proceedings.
Organizing Committee:
Roberto Tonelli, University of Cagliari, Italy
Michele Marchesi, University of Cagliari, Italy
Stephane Ducasse , INRIA-LILLE, France
Gianni Fenu, University of Cagliari, Italy
Massimo Bartoletti, University of Cagliari, Italy
Andrea Bracciali University of Stirling, UK
Other CFPs
- 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems
- 20th International Conference on Coordination Models and Languages
- 13th International Federated Conference on Distributed Computing Techniques
- CFP IJITME (Fee:1000 INR/35$)
- Special Issue on Security, Privacy, and Trust for Cyber-Physical-Social Systems (CPSS)
Last modified: 2017-10-29 15:04:20