Evaluation of Novel Approaches to Software Engineering, Porto, 28 – 29 April, 2017

http://www.enase.org/?y=2017

The 1st International Conference on Lean and Agile Software Development (LASD’17), Prague, Czech Republic, 4 – 7 September, 2017

https://www.fedcsis.org/2017/lasd/

Our BeSpaceD framework for spatio-temporal modeling and reasoning has moved to a new repository:

https://bitbucket.org/bespaced/

Our paper “A Methodology for Model-based Development and Safety Analysis of Transport Systems” won the ENASE 2016 Best Paper Award

COLAFORM’16: Workshop on Collaborative Aspects of Formal Methods

Paper Submission: January 26, 2016

http://www.enase.org/COLAFORM.aspx

1^st Symposium on Balancing Traditional and Modern Software Process Approaches (BTMSPA’16)

Paper submission: April 18, 2016

https://fedcsis.org/2016/btmspa

why not submit a paper?

website

SAGRA: Sustainable Architecture: Global collaboration, Requirements, Analysis Submission deadline is June 08, 2015

and

ENASE 2016 Submssion deadline is October 30, 2015

dito

RTTSBS (Reliability Technologies and Tools for Services-Based Systems) 2014

and

ENASE (Evaluation of Novel Approaches to Software Engineering) 2015

Some new publications added

Some new publications, .pdf / links will follow