This book constitutes the refereed workshop proceedings of the 10th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2020, held in Singapore, in March 2021. The 13 revised full papers included in the volume w...Loe edasi...
This book constitutes the refereed workshop proceedings of the 10th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2020, held in Singapore, in March 2021. The 13 revised full papers included in the volume w...Loe edasi...
This book constitutes the thoroughly refereed workshop proceedings of the 9th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2019, held in Shenzhen, China, in November 2019. The 23 revised full papers inclu...Loe edasi...
This book constitutes the thoroughly refereed workshop proceedings of the 9th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2019, held in Shenzhen, China, in November 2019. The 23 revised full papers inclu...Loe edasi...
This book constitutes the thoroughly refereed workshop proceedings of the 8th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2018, held in Gold Coast, QLD, Australia, in November 2018.The 11 revised fu...Loe edasi...
This book constitutes the thoroughly refereed workshop proceedings of the 8th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2018, held in Gold Coast, QLD, Australia, in November 2018.The 11 revised fu...Loe edasi...
Sari: Theoretical Computer Science and General Issues
(Ilmumisaeg: 20-Apr-2018, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319901046)
This book constitutes the thoroughly refereed workshop proceedings of the 7th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2017, held in Xian, China, in November 2017.The 13 revised full papers included...Loe edasi...
Sari: Theoretical Computer Science and General Issues
(Ilmumisaeg: 20-Apr-2018, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319901046)
This book constitutes the thoroughly refereed workshop proceedings of the 7th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2017, held in Xian, China, in November 2017.The 13 revised full papers included...Loe edasi...
Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 20-Apr-2017, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319577081)
This book constitutes revised selected papers from the 6th International Workshop on Structures Object-Oriented Formal Language and Method, SOFL+MSVL 2016, held in Tokyo, Japan, in November 2016. The 13 papers presented in this volume were carefully...Loe edasi...
Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 20-Apr-2017, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319577081)
This book constitutes revised selected papers from the 6th International Workshop on Structures Object-Oriented Formal Language and Method, SOFL+MSVL 2016, held in Tokyo, Japan, in November 2016. The 13 papers presented in this volume were carefully...Loe edasi...
(Ilmumisaeg: 17-Mar-2016, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319312200)
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2015, held in Paris, France, in November 2015. The 15 papers presented in...Loe edasi...
Sari: Theoretical Computer Science and General Issues
(Ilmumisaeg: 16-Apr-2015, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319174044)
This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2014, held in Luxembourg, Luxembourg, in November 2014. The 12 papers presen...Loe edasi...
Sari: Theoretical Computer Science and General Issues
(Ilmumisaeg: 20-Feb-2014, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319049151)
This book constitutes revised selected papers from the Third International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013, held in Queenstown, New Zealand, in October 2013. The 13 papers presented in this volume wer...Loe edasi...
Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 23-Aug-2013, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783642406157)
This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The 8 lectures featured in this volume are by world-renowned experts within the area o...Loe edasi...
Sari: Theoretical Computer Science and General Issues
(Ilmumisaeg: 04-Aug-2013, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783642392771)
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Structured Object-Oriented Formal Language, SOFL 2012, held in Kyoto, Japan, in November 2012. The 10 full papers presented were careful...Loe edasi...
Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue
Sari: Programming and Software Engineering
(Ilmumisaeg: 05-Jan-2013, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783642358876)
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, their application to the development of large systems requires more emphasis on specification, modeling...Loe edasi...
(Ilmumisaeg: 06-Dec-2012, PDF+DRM, Kirjastus: Springer London Ltd, ISBN-13: 9781447108955)
The Sorbonne University is very proud to host this year the oms Conference on Object Oriented Information Systems. There is a growing awareness of the importance of object oriented techniques, methods and tools to support information systems engineer...Loe edasi...
(Ilmumisaeg: 11-Jul-2012, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783642317620)
This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, held in Turin, Italy, in October 2011 - organised by COST Action IC0701. The 10 r...Loe edasi...
Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 16-Dec-2011, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783642252716)
The focus in development methodologies of large and complex software systems has switched in the last two decades from functional issues to structural issues; this holds for both the object-oriented and the more recent component-based software engine...Loe edasi...
(Ilmumisaeg: 18-Jan-2011, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783642180705)
This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2010, held in Paris, France, in June 2010 - organised by COST Action IC0701. The 11 rev...Loe edasi...
