The news on these pages comes directly from the projects' own news feeds. (See all our project news sources)
The Software Systems Engineering research team at paluno – The Ruhr Institute for Software Technology, Germany, is looking for a Post-Doc to support the national and international research projects in the area of Future Internet.
S-Cube@ICSE Workshop Proceedings available online from ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?reload=true&punumber=6218995
Result of the final S-Cube review (year 4)
44. S-Cube Workshop on "European Software Services and Systems Research - Results and Challenges" at ICSE 2012 successful
The workshop provided a platform to outline and demonstrate results of fundamental research carried out within S-Cube. More information available at http://s-cube-network.eu/icse.
The final programme of the S-Cube workshop at ICSE is now available at: http://www.s-cube-network.eu/icse
S-Cube Final Report is now publically available at http://www.s-cube-network.eu/final-report.pdf
Workshop programmes for the following two workshops co-organized by S-Cube in conjunction with ICSE 2012 have been published: (1) http://www.s-cube-network.eu/pesos-2012 (2) http://www.s-cube-network.eu/icse
The S-Cube Industry Shopping List entails S-Cube key results that can be relevant for ICT industries and companies.
S-Cube has been ranked by SEQUOIA to be in the top 5 of 30 EU projects for what concerns its socio-economic impact.
S-Cube's final Global Meeting was carried out in Barcelona at the end of the last year.
Voisin, Laurent (2013) Mathematical Language of Event-B Proofs. [Rodin Archive]
Snook, Colin and Savicks, Vitaly and Fritz, Fabian and Illisaov, Alexei Frameworks for developing Event-B modelling extensions in EMF. None. (Unpublished)
Butler, Michael (2012) Mastering System Analysis and Design through Abstraction and Refinement. [Teaching Resource] (Submitted)
Butler, Michael (2012) Abstraction, Refinement and Decomposition for Systems Engineering. [Teaching Resource] (Unpublished)
5. Tutorial: a Practical Introduction to using Event-B for Complex �Hardware and Embedded System Specification and Design
Colley, John (2012) Tutorial: a Practical Introduction to using Event-B for Complex �Hardware and Embedded System Specification and Design. [Teaching Resource] (Unpublished)
Voisin, Laurent (2012) More Abstraction. In: AI meets Formal Software Development, 01-06.07.2012, Schloss Dagstuhl, Germany.
Edmunds, Andrew and Colley, John and Butler, Michael Building on the DEPLOY legacy: code generation and simulation. In: DS-Event-B-2012: Workshop on the experience of and advances in developing dependable systems in Event-B .
Plagge, Daniel and Leuschel, Michael (2012) Validating B, Z and TLA+ using ProB and Kodkod. In: Proceedings FM'2012, August, 2012, Paris.
Hallerstede, Stefan and Jastram, Michael and Ladenberger, Lukas (2012) A Method and Tool for Tracing Requirements into Specifications. Working Paper. UNSPECIFIED. (Submitted)
Weigelt, Ingo Architectures for an Extensible Text Editor for Rodin. Technical Report. UNSPECIFIED.