Referentgranskade publikationer

A4 Konferenspublikationer
To Agile or not to Agile Students (With a Twist): Experience Report from a Student Project Course (2017)
Marta Olszewska, Sergey Ostroumov, Mikołaj Olszewski
IEEE
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Quantitatively Measuring a Large-Scale Agile Transformation (2016)
Mart Olszewska (née Pląska), Jeannette Heidenberg, Max Weijola, Kirsi Mikkonen, Ivan Porres
Journal of Systems and Software
Visa på utgivarens sida
A4 Konferenspublikationer
Tailoring Complexity Metrics for Simulink Models (2016)
Marta Olszewska, Yanja Dajsuren, Harald Altinger, Alexander Serebrenik, Marina Waldén, Mark G. J. van den Brand
ACM
Visa på utgivarens sida
A4 Konferenspublikationer
Using Scrum to Develop a Formal Model – An Experience Report (2016)
Marta Olszewska, Sergey Ostroumov, Marina Waldén
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
Using the Event-B Formal Method for Disciplined Agile Delivery of Safety-critical Systems (2016)
Andrew Edmunds, Marta Olszewska, Marina Walden
Iaria xps press
A4 Konferenspublikationer
DevOps Meets Formal Modelling in High-Criticality Complex Systems (2015)
Marta Olszewska, Marina Waldén
ACM
Visa på utgivarens sida
A4 Konferenspublikationer
Parallel Development of Event-B Systems with Agile Methods (2014)
Masoumeh Parsa, Colin Snook, Marta Olszewska, Marina Walden
Halmstad University
A3 Bokavsnitt, kapitel i forskningsböcker
Development of Controllers Using Simulink and Contract-Based Design (2011)
Pontus Boström, Mikko Huova, Marta (Plaska) Olszewska, Matti Linjama, Mikko Heikkilä, Kaisa Sere, Marina Waldén
Information science reference IGI
Visa på utgivarens sida
A3 Bokavsnitt, kapitel i forskningsböcker
Measuring the Progress of a System Development (2011)
Marta (Pląska) Olszewska, Marina Waldén
Information science reference IGI
Visa på utgivarens sida
G5 Doktorsavhandling (artikel)
On the Impact of Rigorous Approaches on the Quality of Development (2011)
Marta Olszewska
A4 Konferenspublikationer
Contract-based Design in Controller Development and its Evaluation (2009)
Pontus Boström, Marta Pląska, Mikko Huova, Matti Linjama, Mikko Heikkilä, Kaisa Sere, Marina Waldén
Linköping university electronic press
A4 Konferenspublikationer
Controller Design of Digital Hydraulic Flow Control Valve (2009)
Huova M, Pląska M, Siivonen L, Linjama M, Waldén M, Vilenius M, Sere K
A4 Konferenspublikationer
Quality Analysis of Simulink Models (2009)
Marta Olszewska (Pląska), Mikko Huova, Marina Waldén, Kaisa Sere, Matti Linjama
dpunkt.verlag GmbH
A4 Konferenspublikationer
Towards Event-B Specification Metrics (2009)
Marta Olszewska (Pląska), Kaisa Sere
First Deploy Technical Workshop
A3 Bokavsnitt, kapitel i forskningsböcker
Documenting the Progress of the System Development (2008)
Pląska M, Waldén M, Snook C
A4 Konferenspublikationer
Documenting the Progress of the System Development (2007)
Marta Pląska, Marina Waldén, Colin Snook
A4 Konferenspublikationer
Visualising Program Transformations in a Stepwise Manner (2007)
Marta Pląska, Marina Waldén, Colin Snook
University of Oslo


Övriga publikationer

D4 Publicerad utvecklings- eller forskningsrapport eller studie
Improving the Modelling Experience in Event-B - A Literature Review (2018)
Marta Olszewska, Fatima Shokri-Manninen, Andrew Edmunds, Marina Waldén
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Experimenting with Event-B and Scrum on Student Project Course (2017)
Marta Olszewska, Mikołaj Olszewski, Sergey Ostroumov, Gohar Shah, Haider Rizvi, Bilal Altaf
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Synergising Event-B and Scrum - Experimentation on a Formal Development in an Agile Setting (2016)
Marta Olszewska, Sergey Ostroumov, Marina Waldén
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Did It Actually Go This Well? A Large-Scale Case Study on an Agile Transformation (2014)
Marta Olszewska, Jeanette Heidenberg, Max Weijola, Kirsi Mikkonen, Ivan Porres
D4 Publicerad utvecklings- eller forskningsrapport eller studie
FormAgi – A Concept for More Flexible Formal Developments (2014)
Marta Olszewska, Marina Waldén
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Simulink-Specific Design Quality Metrics (2011)
Marta Olszewska (Pląska)
D3 Professionell konferenspublikation
SMARTER Metrics (2011)
Olszewska (Pląska) M
D3 Professionell konferenspublikation
Specification Metrics for Event-B Developments (2010)
Olszewska (Pląska) M, Sere K
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Quality Comparison and Evaluation of Digital Hydraulic Control Systems (2007)
Marta Pląska, Marina Waldén

Senast uppdaterad 2019-02-01 vid 08:08