TUTLOGO TUTLOGO
practise
Notifications
Teams
Publications
Partners
Downloads
Related activities
current projects
Darwin
Lively
Rye
Sulava
completed projects
AMOEBA
Archimedes
ART
ATOS
EEWES
Fred & JavaFrames
INARI
MBT-MOSE
MoDES
MoMupe
MuSA
Ohjelmaturva
SERIOUS
Sulake
TEMA
UML++
Wesahmi
contact
Feedback
site
Site map
Search
private
Login

Publications

All | Darwin | Lively | Rye | Sulava | AMOEBA | Archimedes | ART | ATOS | EEWES | Fred & JavaFrames | INARI | MBT-MOSE | MoDES | MoMupe | MuSA | Ohjelmaturva | SERIOUS | Sulake | TEMA | UML++ | Wesahmi |

Practical Model-Based Testing: Processes, Tools and Metrics

Conferences & Workshops

A Test Process Improvement Model for Automated Test Generation
Henri Heiskanen, Mika Maunumaa, and Mika Katara : "A Test Process Improvement Model for Automated Test Generation", Proceedings of the 13th International Conference on Product-Focused Software Development and Process Improvement (PROFES 2012), Springer LNCS, no. 7343, pp. 17-31, Madrid, Spain, June 2012.
bibtex

Synthesizing Test Models from Test Cases
Antti Jääskeläinen, Antti Kervinen, Mika Katara, Antti Valmari, and Heikki Virtanen : "Synthesizing Test Models from Test Cases", Proceedings of the Haifa Verification Conference 2008, Springer LNCS, no. 5394 , pp. 179-193, IBM Haifa Labs, Haifa, Israel, October 2008.
download :: bibtex

Thesis

Survey on Automatic Test Generation in Testing of Mobile Applications
Marek Janicki : "Survey on Automatic Test Generation in Testing of Mobile Applications", M.Sc. Thesis, Tampere University of Technology, September 2009.
bibtex

Technical reports

Model-Based Test Specification and Execution Using Live Sequence Charts and the S2A Compiler: An Industrial Experience
Shahar Maoz, Jani Metsä & Mika Katara : "Model-Based Test Specification and Execution Using Live Sequence Charts and the S2A Compiler: An Industrial Experience", Report No. 4, Tampere University of Technology, Department of Software Systems, August 2009.
download (PDF) :: bibtex

Other publications

Test Process Improvement for Automated Test Generation
Henri Heiskanen, Mika Maunumaa, and Mika Katara : "Test Process Improvement for Automated Test Generation", pp. 36, May 2010.
download (ATG TPI report) :: bibtex

Archimedes / Managing product-line software architectures

Journals

An Approach for Structural Pattern Composition
Hammouda, I. and Koskimies, K. : "An Approach for Structural Pattern Composition", Accepted for publication at SC 2007, .
bibtex

Conferences & Workshops

Enhancing usability of UML CASE-tools with speech recognition
Samuel Lahtinen, Jari Peltonen, Kai Koskimies : "Enhancing usability of UML CASE-tools with speech recognition", Proc. IEEE Symposium on Human Centric Computing Languages, IEEE Computer Society, pp. 227-235, Auckland, 10 2003 .
bibtex

UML-based approach for documenting and specializing frameworks using patterns and concern architectures
Imed Hammouda and Mika Pussinen and Mika Katara and Tommi Mikkonen : "UML-based approach for documenting and specializing frameworks using patterns and concern architectures", The 4th Workshop of AOSD Modeling with UML, San Francisco, California, USA, October 2003 .
bibtex

Assessing systems adaptability to a product family
Mika Korhonen and Tommi Mikkonen : "Assessing systems adaptability to a product family", Proceedings of the International Conference on Software Engineering Research and Practice (SERP 2003), pp. 135--141, Las Vegas, Nevada, USA, June 2003 .
bibtex

On the structure of a software product-line for mobile software
Tommi Myllymäki and Kai Koskimies and Tommi Mikkonen : "On the structure of a software product-line for mobile software", Proceedings of the Joint VIVIAN-ROBOCOP Workshop on Software Infrastructures for Component-Based Applications on Consumer Devices, pp. 85--91, Lausanne, Switzerland, September 2002 .
bibtex

Structuring product-lines: a layered architectural style
Tommi Myllymäki and Kai Koskimies and Tommi Mikkonen : "Structuring product-lines: a layered architectural style", Proceedings of the 8th International Conference on Object-Oriented Information Systems (OOIS 2002), LNCS, vol. 2426, Montpellier, France, September 2002 .
bibtex

Thesis

Variability enabling techniques for software product lines
Antti Tirilä : "Variability enabling techniques for software product lines", Diploma thesis, Institute of Software Systems, Tampere University of Technology, May 2003.
download :: bibtex

Scenario-based assessment of software architectures
Essi Lahtinen : "Scenario-based assessment of software architectures", Diploma thesis, Institute of Software Systems, Tampere University of Technology, April 2002.
download :: bibtex

Technical reports

From architectural requirements to architectural design
Maarit Harsu : "From architectural requirements to architectural design", Technical report 34, Institute of Software Systems, Tampere University of Technology, May 2003.
download :: bibtex

A survey on software product-line evolution
Mika Pussinen : "A survey on software product-line evolution", Technical report 32, Institute of Software Systems, Tampere University of Technology, December 2002.
download :: bibtex

A survey of domain engineering
Maarit Harsu : "A survey of domain engineering", Technical report 31, Institute of Software Systems, Tampere University of Technology, December 2002.
download :: bibtex

Variability management in software product-lines
Tommi Myllymäki : "Variability management in software product-lines", Technical report 30, Institute of Software Systems, Tampere University of Technology, January 2002.
download :: bibtex

FAST product-line architecture process
Maarit Harsu : "FAST product-line architecture process", Technical report 29, Institute of Software Systems, Tampere University of Technology, January 2002.
download :: bibtex

A survey of product-line architectures
Maarit Harsu : "A survey of product-line architectures", Technical report 23, Institute of Software Systems, Tampere University of Technology, March 2001.
download :: bibtex

UML Tool Kit for Software Architecture Modeling and Analysis

Journals

Towards the Unification of Patterns and Profiles in UML
Petri Selonen and Mika Siikarla and Kai Koskimies and Tommi Mikkonen : "Towards the Unification of Patterns and Profiles in UML", Nordic Journal of Computing, vol. 11, no. 3, pp. 235-253, 2004.
bibtex

Conferences & Workshops

A UML Profile for Executable and Incremental Specification-Level Modeling
Risto Pitkänen and Petri Selonen : "A UML Profile for Executable and Incremental Specification-Level Modeling", LNCS, Thomas Baar and Alfred Srohmeier and Ana Moreira and Stephen J. Mellor, 2004 -- The Unified Modeling Language: Modeling Languages and Applications, Springer, vol. 3273, pp. 158-172, Lissabon, Portugal, October 2004.
bibtex

Validating UML Models Against Architectural Profiles
Petri Selonen and Jianli Xu : "Validating UML Models Against Architectural Profiles", Proceedings of the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium on Foundations of software engineering, ACM Press, pp. 58-67, Helsinki, Finland, September 2003.
bibtex

Combining OCL and Programming Languages for UML Model Processing
Mika Siikarla and Jari Peltonen and Petri Selonen : "Combining OCL and Programming Languages for UML Model Processing", Electric Notes in Theoretical Computer Science (ENTCS), P.H. Schmitt, Proceedings of the Workshop, OCL 2.0 -- Industry Standard or Scientific Playground, Elsevier, vol. 102, pp. 175-194, 2004.
bibtex

Establishing a Software Architecting Environment
Claudio Riva and Petri Selonen and Tarja Systä and Antti-Pekka Tuovinen and Jianli Xu and Yaojin Yang : "Establishing a Software Architecting Environment", Proceedings of the 4th Working IEEE/IFIP Conference on Software Architecture (WICSA'04), pp. 188-200, Oslo, Norway, June 2004.
bibtex

UML-based Reverse Engineering and Model Analysis Approaches for Software Architecture Maintenance
Claudio Riva and Petri Selonen and Tarja Syst"a and Jianli Xu : "UML-based Reverse Engineering and Model Analysis Approaches for Software Architecture Maintenance", Proceedings of the International Conference on Software Maintenance (ICSM'04), IEEE CS Press, pp. 50--59, Chicago, IL, USA, September 2004.
bibtex

Thesis

Model Processing Operations for the Unified Modeling Language
Petri Selonen : "Model Processing Operations for the Unified Modeling Language", Ph.D. Thesis, Publication 531, Tampere University of Technology, April 2005.
download :: bibtex

artDECO - UML-pohjaisten profiililähtöisten ohjelmistoarkkitehtuurien tarkastustyökalu
Jani Airaksinen : "artDECO - UML-pohjaisten profiililähtöisten ohjelmistoarkkitehtuurien tarkastustyökalu", M.Sc. Thesis (In Finnish), Tampere University of Technology, September 2004.
bibtex

An Implementation of Set Operations on UML Diagrams
Jan van der Ven : "An Implementation of Set Operations on UML Diagrams", M.Sc. Thesis, Rijksuniversiteit Groningen, Instituut voor Wiskunde en Informatica, May 2004.
bibtex

Advanced Tools for Object-oriented Software development

Journals

Implementing a Component-Based Tool for Interactive Synthesis of UML Statechart Diagrams
Johannes Koskinen and Erkki Mäkinen and Tarja Systä : "Implementing a Component-Based Tool for Interactive Synthesis of UML Statechart Diagrams", an extended version of the SPLST 2001 paper, Acta Cybernetica, vol. 15, no. 4, 2002.
bibtex

Conferences & Workshops

Minimally Adequate Synthesizer Tolerates Inaccurate Information during Behavioral Modeling
Johannes Koskinen and Erkki Mäkinen and Tarja Systä : "Minimally Adequate Synthesizer Tolerates Inaccurate Information during Behavioral Modeling", Proc. of SCASE 2001, Enschede, The Netherlands, February 2001.
bibtex

Implementing a Component-Based Tool for Synthesizing UML Statechart Diagrams
Johannes Koskinen and Erkki Mäkinen and Tarja Systä : "Implementing a Component-Based Tool for Synthesizing UML Statechart Diagrams", Proc. of SPLST'2001, pp. 28-42, Szeged, Hungary, 2001.
bibtex

How to Make Apples from Oranges in UML
Petri Selonen and Kai Koskimies and Markku Sakkinen : "How to Make Apples from Oranges in UML", CD-ROM, Proceedings of the 34th Hawaii International Conference on System Sciences (HICSS-34), IEEE CS Press, Maui, HI, USA, January 2001.
bibtex

Model Processing Tools in UML
Johannes Koskinen and Jari Peltonen and Petri Selonen and Tarja Systä and Kai Koskimies : "Model Processing Tools in UML", Formal Research Tool Demo, Proceedings of ICSE'01, IEEE CS Press, pp. 819-820, Toronto, Canada, May 2001.
download :: bibtex

Towards tool assisted UML development environments
Johannes Koskinen and Jari Peltonen and Petri Selonen and Tarja Systä and Kai Koskimies : "Towards tool assisted UML development environments", In: 7th Symposium on Programming Language and Software Tools, University of Szeged, Szeged, Hungary, June 2001.
bibtex

xUMLi: Torwards a Tool-independent UML Processing Platform
Jani Airaksinen and Kai Koskimies and Johannes Koskinen and Jari Peltonen and Petri Selonen and Mika Siikarla and Tarja Systä : "xUMLi: Torwards a Tool-independent UML Processing Platform", K. Osterbye, Proceedings of the 10th Nordic Workshop on Programming and Software Development Tools and Techniques, NWPER'2002, IT University of Copenhagen, pp. 1-15, Copenhagen, Denmark, August 2002.
bibtex

Thesis

MAS-algoritmin toteutus Windows NT -ympäristössä (Implementing MAS on Windows NT)
Johannes Koskinen : "MAS-algoritmin toteutus Windows NT -ympäristössä (Implementing MAS on Windows NT)", in Finnish, Master of Science Thesis, December 2000.
download :: bibtex

Technical reports

Visual Tools Support for Scenario-based Software Engineering
Jari Peltonen and Petri Selonen : "Visual Tools Support for Scenario-based Software Engineering", Tarja Systä, Proceedings of OOPSLA 2000 Workshop: Scenario-based round-trip engineering, Tampere University of Technology, no. Technical Report 20, pp. 38-44, Minneapolis, MN, USA, October 2000.
bibtex

Scenario-based Synthesis of Annotated Class Diagrams in UML
Petri Selonen and Tarja Systä : "Scenario-based Synthesis of Annotated Class Diagrams in UML", Tarja Systä, Proceedings of OOPSLA 2000 Workshop: Scenario-based round-trip engineering, Tampere University of Technology, no. Technical Report 20, pp. 26-31, Minneapolis, MN, USA, October 2000.
bibtex

Darwin: Deriving Software Architecture with Intelligent Techniques

Journals

A Survey on Search-Based Software Design
Outi Räihä : "A Survey on Search-Based Software Design", Computer Science Review, Elsevier, vol. 4, no. 4, pp. 203-249, 2010.
bibtex

Pattern-Based Genetic Model Refinements in MDA
Outi Räihä, Kai Koskimies, Erkki Mäkinen, Tarja Systä : "Pattern-Based Genetic Model Refinements in MDA", Nordic Journal of Computing, vol. 14, no. 4, pp. 338-355, 2008.
bibtex

Books

Synthesizing Architecture from Requirements: A Genetic Approach
O. Räihä, Hadaytullah, K. Koskimies and E. Mäkinen : "Synthesizing Architecture from Requirements: A Genetic Approach", P. Avgeriou, J. Grundy, J. G. Hall, P. Lago and I. Mistrik, Relating Software Requirements and Architecture, Springer, pp. 307-331, 2011.
bibtex

Conferences & Workshops

Generating Software Architecture Spectrum with Multi-Objective Genetic Algorithms
O. Räihä, K. Koskimies, E. Mäkinen : "Generating Software Architecture Spectrum with Multi-Objective Genetic Algorithms", Proc. of the Third World Congress on Nature and Biologically Inspired Computing (NaBIC'11), IEEE, pp. to appear, Salamanca, Spain, October 2011.
bibtex

Multi-Objective Genetic Synthesis of Software Architecture
O. Räihä, K. Koskimies and E. Mäkinen : "Multi-Objective Genetic Synthesis of Software Architecture", accepted as poster, Genetic and Evolutionary Computation Conference (GECCO'11), ACM, pp. 249-250, Dublin, Ireland, 2011.
bibtex

Complementary Crossover for Genetic Software Architecture Synthesis
O. Räihä, K. Koskimies and E. Mäkinen : " Complementary Crossover for Genetic Software Architecture Synthesis", Proc. of the 10th International Conference on Intelligent Systems Design and Applications (ISDA'10), IEEE, pp. 260-265, Cairo, Egypt, November 2010.
bibtex

Genetic Approach to Software Architecture Synthesis with Work Allocation Scheme
Hadaytullah, Outi Räihä , Kai Koskimies : "Genetic Approach to Software Architecture Synthesis with Work Allocation Scheme", To appear in APSEC2010, IEEE CS Press, Sydney, Australia, December 2010.
download :: bibtex

Tool Support for Software Architecture Design with Genetic Algorithms
Hadaytullah, Sriharsha Vathsavayi, Outi Räihä, Kai Koskimies : "Tool Support for Software Architecture Design with Genetic Algorithms", ICSEA2010, IEEE CS Press, pp. 359-366, Nice, France, August 2010.
download :: bibtex

Empirical Study on the Effect of Crossover in Genetic Software Architecture Synthesis
Outi Räihä, Kai Koskimies, Erkki Mäkinen : " Empirical Study on the Effect of Crossover in Genetic Software Architecture Synthesis", Proceedings of the World Congress on Nature and Biologically Inspired Computing (NaBIC'09), IEEE, pp. 619-625, Coimbatore, India, December 2009.
bibtex

Using Simulated Annealing for Producing Software Architectures
Outi Räihä, Erkki Mäkinen, Timo Poranen : "Using Simulated Annealing for Producing Software Architectures", presented as a late-breaking paper, not refereed, Proceedings of GECCO'09 (Companion), ACM, pp. 2131-2136, Montréal, Canada, July 2009.
bibtex

Scenario-Based Genetic Synthesis of Software Architecture
Outi Räihä, Kai Koskimies, Erkki Mäkinen : "Scenario-Based Genetic Synthesis of Software Architecture", Proceedings of ICSEA'09, IEEE CS Press, pp. 437-445, Porto, Portugal, September 2009.
bibtex

Pattern-Based Genetic Model Refinements in MDA
Outi Räihä, Kai Koskimies, Erkki Mäkinen, Tarja Systä : "Pattern-Based Genetic Model Refinements in MDA", Proceedings of NW-MoDE'08, University of Iceland, pp. 129-144, Reykjavik, Iceland, August 2008.
bibtex

Genetic Synthesis of Software Architecture
Outi Räihä, Kai Koskimies, Erkki Mäkinen : "Genetic Synthesis of Software Architecture", SEAL (International Conference on Simulated Evolution and Learning), X. Li et al., LNCS, Springer, vol. 5361, pp. 565-574, Melbourne, Australia, December 2008.
bibtex

Thesis

Genetic Algorithms in Software Architecture Synthesis
Outi Räihä : "Genetic Algorithms in Software Architecture Synthesis", University of Tampere, pp. 283, November 2011.
bibtex

Tool support for genetic synthesis of software architectures
Sriharsha Vathsavayi : "Tool support for genetic synthesis of software architectures", Master of Science Thesis, Department of Software Systems, Tampere University of Technology, May 2010.
bibtex

Technical reports

Simulated Annealing for Aiding Genetic Algorithm in Software Architecture Synthesis
O. Räihä, E. Mäkinen and T. Poranen : "Simulated Annealing for Aiding Genetic Algorithm in Software Architecture Synthesis", no. D-2010-19 , Department of Computer Sciences, University of Tampere, 2010.
bibtex

EEWES / An Engineering Environment for Web Services

Journals

UML-Based Support for Designing and Validating Web
Juanjuan Jiang and Tarja Systä, : "UML-Based Support for Designing and Validating Web", International Journal of Web Service Research (JWSR), vol. 3, no. 2, pp. 101-120, April-June 2006.
bibtex

A Pattern-Based Approach to Generate Code from API Usage Scenarios
Johannes Koskinen, Anna Ruokonen, Tarja Systä : "A Pattern-Based Approach to Generate Code from API Usage Scenarios", Nordic Journal of Computing, vol. 13(2006), .
bibtex

Conferences & Workshops

Transformational pattern system - some assembly required
Mika Siikarla and Tarja Systä : "Transformational pattern system - some assembly required", 5th International Workshop on Graph Transformation and Visual Modeling, Vienna, Austria, 2006.
bibtex

Constructing Usage Scenarios for API Redocumentation
Juanjuan Jiang, Johannes Koskinen, Anna Ruokonen, Tarja Systä : "Constructing Usage Scenarios for API Redocumentation", The 15th IEEE International Conference on Program Comprehension (ICPC) 2007, Banff, Alberta,Canada, 2007.
download :: bibtex

Tool Support for Pattern-Based Code Generation from UML-Based API Usage Scenarios
Koskinen Johannes, Ruokonen Anna, Systä Tarja : "Tool Support for Pattern-Based Code Generation from UML-Based API Usage Scenarios", The 4th Nordic Workshop on UML and Software Modeling (NWUML 2006), pp. 15, Grimstad, Norway, June 2006.
bibtex

Enforcing Consistency of Model-Driven Architecture Using Meta-Designs
Anna Ruokonen, Imed Hammouda, Tommi Mikkonen : "Enforcing Consistency of Model-Driven Architecture Using Meta-Designs", European Conference on MDA - Foundations and Applications: Workshop on Consistency in Model Driven Engineering (C@MoDE 2005), pp. 127-141, Nuremberg, Germany, November 2005.
bibtex

Visualizing and Comparing Web Service Descriptions in UML
Juanjuan Jiang and Juha Lipponen and Petri Selonen and Tarja Systä : "Visualizing and Comparing Web Service Descriptions in UML", Report A-2005-3, Proceedings of the 3rd Nordic Workshop on UML and Software Modeling (NWUML'2005), University of Tampere, pp. 235-249, Tampere, Finland, August 2005.
bibtex

Pattern-based Variability Management in Web Service Development
Juanjuan Jiang, Anna Ruokonen, and Tarja Systä : "Pattern-based Variability Management in Web Service Development", ECOWS 2005, IEEE, Sweden, November 2005.
bibtex

Design Profiles: Specifying and Using Structural Patterns in UML
Imed Hammouda, Mika Pussinen, Anna Ruokonen, Kai Koskimies, and Tarja Systä : "Design Profiles: Specifying and Using Structural Patterns in UML", Proceedings of NWUML 2005, Tampere, Finland, August 2005.
bibtex

Open MDA Using Transformational Patterns
Mika Siikarla, Kai Koskimies, and Tarja Systa : "Open MDA Using Transformational Patterns", to appear in LNCS, June 2005.
bibtex

UML-Based Modeling and Validity Checking of Web Service Descriptions
Jiang and Systa : "UML-Based Modeling and Validity Checking of Web Service Descriptions", ICWS 2005, Orlando, USA, July 2005 .
bibtex

UML-level analysis and comparison of Web service descriptions
Jiang, Lipponen, Selonen, and Systa : "UML-level analysis and comparison of Web service descriptions", pp. 236-240, Manchester, UK, March 2005 .
bibtex

Other publications

Implementing Model-Driven Transformations From Workflow Diagrams To Web Service Coordination Descriptions
Carsten Lohman : "Implementing Model-Driven Transformations From Workflow Diagrams To Web Service Coordination Descriptions", Diploma Thesis, University of Siegen, 2007.
bibtex

Web-palvelutyökalujen vertailu ja arvionti
Juha Lipponen : "Web-palvelutyökalujen vertailu ja arvionti", 11 2004 .
bibtex

Fred & JavaFrames

Journals

A Pattern-Based J2EE Application Development Environment
Imed Hammouda and Kai Koskimies : "A Pattern-Based J2EE Application Development Environment", Nordic Journal of Computing, vol. 9, no. 3, pp. 248-260, 2002 .
bibtex

Conferences & Workshops

Towards a Framework for Developing Processors for Visual Languages
Antti-Pekka Tuovinen : "Towards a Framework for Developing Processors for Visual Languages", In: Object-Oriented Technology, LNCS 1357, pp. 119-122, 1997 .
bibtex

A Language Implementation Framework in Java
Maarit Harsu and Juha Hautamäki and Kai Koskimies : "A Language Implementation Framework in Java", In: Object-Oriented Technology, LNCS 1357, pp. 141-144, 1997 .
bibtex

Pattern-Oriented Framework Engineering Using FRED
Markku Hakala and Juha Hautamäki and Jyrki Tuomi and Antti Viljamaa and Jukka Viljamaa : "Pattern-Oriented Framework Engineering Using FRED", In: Object-Oriented Technology, LNCS 1543, pp. 105-109, 1998 .
bibtex

Managing Object-Oriented Frameworks with Specialization Templates
Markku Hakala and Juha Hautamäki and Jyrki Tuomi and Antti Viljamaa and Jukka Viljamaa : "Managing Object-Oriented Frameworks with Specialization Templates", In: Workshop on Object Technology for Product-Line Architectures. European Software Institute, Spain, pp. 87-98, 1999 .
bibtex

Task-Driven Framework Specialization
Markku Hakala and Juha Hautamäki and Jyrki Tuomi and Antti Viljamaa and Jukka Viljamaa and Kai Koskimies and Jukka Paakki : "Task-Driven Framework Specialization", In: Proceedings of Software Technology, Fenno-Ugric Symposium (ed. J. Penjam), August 1999. Institute of Cybernetics, Tallinn Technical University, pp. 65-74, 1999 .
bibtex

Rearchitecting Legacy Systems - Concepts and Case Study
Wolfgang Pree and Kai Koskimies : "Rearchitecting Legacy Systems - Concepts and Case Study", In: Software Architecture (P. Donohoe, ed.), pp. 51-64, Kluwer Academic Publishers, 1999 .
bibtex

Framelets - Small is Beautiful
Wolfgang Pree and Kai Koskimies : "Framelets - Small is Beautiful", In: Building Application Frameworks: Object-Oriented Foundations of Framework Design (M.E. Fayad, D.C. Schmidt, R.E. Johnson, ed.), pp. 411-414, Wiley, 1999 .
bibtex

Task-Based Tool Support for Framework Specialization
Markku Hakala : "Task-Based Tool Support for Framework Specialization", In: Proceedings of OOPSLA 2000 Workshop on Methods and Tools for Framework Development and Specialization. Tampere University of Technology, Software Systems Laboratory, Report 21, October 2000 .
download :: bibtex

Architecture-oriented programming using FRED
Markku Hakala and Juha Hautamäki and Kai Koskimies and Jukka Paakki and Antti Viljamaa and Jukka Viljamaa : "Architecture-oriented programming using FRED", In: Proceedings of the 23rd International Conference on Software Engineering (ICSE 2001), Toronto, May 2001, (Formal research demo), pp. 823-824, 2001 .
bibtex

Annotating Reusable Software Architectures with Specialization Patterns
Markku Hakala and Juha Hautamäki and Kai Koskimies and Jukka Paakki and Antti Viljamaa and Jukka Viljamaa : "Annotating Reusable Software Architectures with Specialization Patterns", In: Proceedings of the Working IEEE/IFIP Conference on Software Architecture (WICSA 2001), Amsterdam, August 2001, pp. 171-180, 2001 .
download :: bibtex

Generating application development environments for Java frameworks
Markku Hakala and Juha Hautamäki and Kai Koskimies and Jukka Paakki and Antti Viljamaa and Jukka Viljamaa : "Generating application development environments for Java frameworks", In: Proceedings of the 3rd International Conference on Generative and Component-Based Software Engineering (GCSE 2001), Erfurt, Germany, September 2001. LNCS 2186, pp. 163-176, 2001 .
download :: bibtex

Creating Framework Specialization Instructions for Tool Environments
Antti Viljamaa and Jukka Viljamaa : "Creating Framework Specialization Instructions for Tool Environments", In: Proceedings of the Nordic Workshop on Software Development Tools and Techniques (K. Osterbye, ed.), NWPER 2002, IT University of Copenhagen, 2002 .
download :: bibtex

Generating Pattern-Based Documentation for Application Frameworks
Markku Hakala and Juha Hautamäki and Kai Koskimies and Pekka Savolainen : "Generating Pattern-Based Documentation for Application Frameworks", In: Proceedings of the Nordic Workshop on Software Development Tools and Techniques (K. Osterbye, ed.), NWPER 2002, IT University of Copenhagen , 2002 .
download :: bibtex

Feature Models, Pattern Languages and Software Patterns - Towards a Unified Approach
Markku Hakala : "Feature Models, Pattern Languages and Software Patterns - Towards a Unified Approach", In: Proceedings of the Nordic Workshop on Software Development Tools and Techniques (K. Osterbye, ed.), NWPER 2002, IT University of Copenhagen, 2002 .
download :: bibtex

A Pattern-Based J2EE Application Development Environment
Imed Hammouda and Kai Koskimies : "A Pattern-Based J2EE Application Development Environment", In: Proceedings of the Nordic Workshop on Software Development Tools and Techniques (K. Osterbye, ed.), NWPER 2002, IT University of Copenhagen, 2002 .
download :: bibtex

Generating Pattern-Based Application Development Environment for Enterprise JavaBeans
Imed Hammouda and Kai Koskimies : "Generating Pattern-Based Application Development Environment for Enterprise JavaBeans", In: Proceedings of the he 26th Annual International Computer Software and Applications Conference, COMPSAC 2002, 2002 .
download :: bibtex

Generating Pattern-Based Web Tutorials for Java Frameworks
Markku Hakala and Juha Hautamäki and Kai Koskimies and Pekka Savolainen : "Generating Pattern-Based Web Tutorials for Java Frameworks", In: Proceedings of the Scientific Engineering for Distributed Java Applications, International Workshop, FIDJI 2002, Luxembourg, November 2002. LNCS 2604, pp. 99-110, 2003 .
bibtex

Thesis

Ohjelmistokehysten erikoistamistutoriaalit Fred-ympäristössä
Pekka Savolainen : "Ohjelmistokehysten erikoistamistutoriaalit Fred-ympäristössä", Diplomityöseminaari, Tampereen teknillinen yliopisto, tammikuu 2003.
download :: bibtex

Pattern-Based Framework Annotation and Adaptation - A Systematic Approach
Antti Viljamaa : "Pattern-Based Framework Annotation and Adaptation - A Systematic Approach", Licentiate thesis, Department of Computer Science, University of Helsinki, June 2001.
download :: bibtex

Task-Driven Framework Specialization - Goal-Oriented Approach
Juha Hautamäki : "Task-Driven Framework Specialization - Goal-Oriented Approach", Licentiate thesis, Report A-2002-9, Department of Computer and Information Sciences, University of Tampere, 2002.
download :: bibtex

Automatic Extraction of Framework Specialization Patterns
Jukka Viljamaa : "Automatic Extraction of Framework Specialization Patterns", Licentiate thesis, Report C-2002-47, Department of Computer Science, University of Helsinki, September 2002.
download :: bibtex

Ohjelmistokehysten erikoistamistutoriaalit Fred-ympäristössä
Pekka Savolainen : "Ohjelmistokehysten erikoistamistutoriaalit Fred-ympäristössä", Diplomityö, Tampereen teknillinen yliopisto, helmikuu 2003.
download :: bibtex

Technical reports

A Survey of Frameworks
Juha Hautamäki : "A Survey of Frameworks", Report A-1997-3, Department of Computer Science, University of Tampere, 1997 .
bibtex

Application Frameworks in the Java Environment
Antti Viljamaa : "Application Frameworks in the Java Environment", Report C-1997-24, Department of Computer Science, University of Helsinki, 1997 .
bibtex

Tools Supporting the Use of Design Patterns in Frameworks
Jukka Viljamaa : "Tools Supporting the Use of Design Patterns in Frameworks", Report C-1997-25, Department of Computer Science, University of Helsinki, 1997 .
bibtex

Four Example Frameworks in Java
Juha Hautamäki and Jyrki Tuomi and Antti Viljamaa and Jukka Viljamaa : "Four Example Frameworks in Java", Report B-1997-6, Department of Computer Science, University of Tampere, 1997 .
bibtex

Design of a Java Framework Engineering Tool
Markku Hakala and Juha Hautamäki and Jyrki Tuomi and Antti Viljamaa and Jukka Viljamaa : "Design of a Java Framework Engineering Tool", Report A-1997-12, Department of Computer Science, University of Tampere, 1997 .
bibtex

Java and Internet Security
Antti Viljamaa and Jukka Viljamaa : "Java and Internet Security", Report C-1998-45, Department of Computer Science, University of Helsinki, 1998 .
bibtex

INARI / Integrated Architecting Environment

Journals

Design Profiles: Towards Unified Tool Support for Design Patterns and UML Profiles
Imed Hammouda, Anna Ruokonen, Mika Siikarla, André Santos, Kai Koskimies, Tarja Systä : "Design Profiles: Towards Unified Tool Support for Design Patterns and UML Profiles", Software Practice & Experience, vol. 39, no. 4, pp. 331-354, March 2009.
bibtex

Automatic Detection of Incomplete Instances of Structural Patterns in UML Class Diagrams
Sven Wenzel : "Automatic Detection of Incomplete Instances of Structural Patterns in UML Class Diagrams", Nordic Journal of Computing, vol. 12, no. 4, pp. 379-394, December 2005.
bibtex

Finding and Documenting the Specialization Interface of an Application Framework
Hautamäki, J. and Koskimies, K. : "Finding and Documenting the Specialization Interface of an Application Framework", Software-Practice and Experience, vol. 36, no. 13, pp. 1443-1465, 2006.
bibtex

A Model-Driven Approach to Variability Management in Product-Line Engineering
André L. Santos, Kai Koskimies, and Antónia Lopes : "A Model-Driven Approach to Variability Management in Product-Line Engineering", Selected paper of the fourth Nordic workshop on UML and software modelling (NWUML'06), June 12-14, 2006 , Nordic Journal of Computing, vol. 13, no. 3, pp. 196-213, December 2006.
download :: bibtex

Commonalities of model relationships within product line processes
Jari Peltonen and Maarit Harsu : "Commonalities of model relationships within product line processes", (revised version), Proceedings of the Estonian Academy of Sciences, Engineering, vol. 11, no. 4, pp. 329-346, December 2005.
bibtex

Towards the Unification of Patterns and Profiles in UML
Petri Selonen, Mika Siikarla, Kai Koskimies and Tommi Mikkonen : "Towards the Unification of Patterns and Profiles in UML", Nordic Journal of Computing, vol. 11, no. 3, pp. 235-253, 2004.
bibtex

A Tool Infrastructure for Model-Driven Development Using Aspectual Patterns
Imed Hammouda : "A Tool Infrastructure for Model-Driven Development Using Aspectual Patterns", Sami Beydeda, Matthias Book, and Volker Gruhn, Model-driven Software Development - Volume II of Research and Practice in Software Engineering, Springer, pp. 139-178, 2005.
bibtex

Conferences & Workshops

Using Model Customization for Variability Management in Service Compositions
Hadaytullah, Kai Koskimies, Tarja Systä : "Using Model Customization for Variability Management in Service Compositions", In Proc. of ICWS, IEEE CS Press, pp. 687-694, Los Angeles, CA, USA, July 2009.
bibtex

A Pattern-Driven Process Model for Quality-Centered Software Architecture Design - A Case Study on Usability-Centered
Kaartinen Jukka, Palviainen Jorma, Koskimies Kai : "A Pattern-Driven Process Model for Quality-Centered Software Architecture Design - A Case Study on Usability-Centered", Proc. of the 18th Australian Conference on Software Engineering, IEEE Computer Society, pp. 17-26, Melbourne, Australia, April 2007.
bibtex

Open Source Contributions as Platform Specialization Units
Hammouda, I., and Mikkonen, T. : "Open Source Contributions as Platform Specialization Units", Submitted to OSSPL 2007, 2007.
download :: bibtex

An Approach for Structural Pattern Composition
Hammouda, I. and Koskimies, K. : "An Approach for Structural Pattern Composition", 6th International Symposium on Software Composition (SC 2007), pp. 261-274, Braga, Portugal, 2007.
bibtex

Software Comprehension through Concern-based Queries
Reinikainen, T. Hammouda, I., Laiho, J., Koskimies, K. and Systä, T. : "Software Comprehension through Concern-based Queries", IEEE International Conference on Software Comprehension (ICPC 2007), IEEE Computer Society, pp. 265-270, 2007.
bibtex

Concern-Based Learning of Complex Software Platforms
Hammouda, I. Mika Jokinen, Andre L. Santos and Koskimies, K. : "Concern-Based Learning of Complex Software Platforms", IEEE International Conference on Advanced Learning Technologies (ICALT 2007), IEEE Computer Society, pp. 335-337, 2007.
bibtex

An Approach and a Platform for Building UML Model Processing Tools
Jari Peltonen and Petri Selonen : "An Approach and a Platform for Building UML Model Processing Tools", Proc. Workshop on Directions of Software Engineering Environments (WoDiSEE04), Edinburgh, IEE Publications, pp. 51-57, May 2004.
bibtex

UML-based Tool Support for Separating Application and Architecture Evolution
Tommi Mikkonen and Mika Pussinen : "UML-based Tool Support for Separating Application and Architecture Evolution", Proc. of the 7th International Workshop on Principles of Software Evolution, IEEE Computer Society, pp. 67-75, 2004.
download :: bibtex

Guided Model Creation: A Task-Driven Approach
Samuel Lahtinen, Jari Peltonen, Imed Hammouda and Kai Koskimies : "Guided Model Creation: A Task-Driven Approach", IEEE Symposium onVisual Languages and Human-Centric Computing (VLHCC 2006), IEEE Computer Society, pp. 89-94, Brighton, United Kingdom, September 2006.
bibtex

Open MDA Using Transformational Patterns
Mika Siikarla, Kai Koskimies, and Tarja Systä : "Open MDA Using Transformational Patterns", Model-Driven Architecture – Foundations and Applications, Lecture Notes in Computer Science, Springer, vol. 3599, pp. 108-122, 2005.
bibtex

Modularizing Framework Hot Spots Using Aspects
André L. Santos, Antónia Lopes, and Kai Koskimies : "Modularizing Framework Hot Spots Using Aspects", JISBD'06: XV Spanish Conference on Software Engineering and Databases, Barcelona, October 2006.
download :: bibtex

Framework Specialization Aspects
André L. Santos, Antónia Lopes, and Kai Koskimies : "Framework Specialization Aspects", AOSD'07: 6th International Conference on Aspect-Oriented Software Development, Vancouver, Canada, March 2007.
bibtex

An MDA Approach for Variability Management in Product-Line Engineering
André L. Santos, Antónia Lopes, and Kai Koskimies : "An MDA Approach for Variability Management in Product-Line Engineering", NWUML'06: 4th Nordic Workshop on UML and Software Modeling, Technical Report, Agder University College, Grimstad, June 2006.
download :: bibtex

Concern-Based Mining of Software Repositories
Imed Hammouda and Kai Koskimies : " Concern-Based Mining of Software Repositories", Proceedings of MSR 2006, ACM Press, pp. 80-86, Shanghai, China, May 2006.
bibtex

Run-Time Monitoring of Architecturally Significant Behaviors Using Behavioral Profiles and Aspects
Kimmo Kiviluoma and Johannes Koskinen and Tommi Mikkonen : "Run-Time Monitoring of Architecturally Significant Behaviors Using Behavioral Profiles and Aspects", Proc. of International Symposium on Software Testing and Analysis, ACM, Portland, Maine, July 2006.
bibtex

Transformational pattern system - some assembly required
Mika Siikarla and Tarja Systä : "Transformational pattern system - some assembly required", Proc. GT-VMT 2006, Roberto Bruni and Dániel Varró, GT-VMT 2006, ENTCS, pp. 57-68, Vienna, Austria, April 2006.
download :: bibtex

Aspects as Specialization Units for Framework-Based SPLs
André Santos and Kai Koskimies : "Aspects as Specialization Units for Framework-Based SPLs", Workshop on Best Practices in Applying Aspect-Oriented Software Development (BPAOSD '06), Bonn, Germany, 2006 March.
download :: bibtex

Enforcing Consistency of Model-Driven Architecture Using Meta-Designs
Anna Ruokonen, Imed Hammouda, Tommi Mikkonen : "Enforcing Consistency of Model-Driven Architecture Using Meta-Designs", European Conference on MDA - Foundations and Applications: Workshop on Consistency in Model Driven Engineering (C@MoDE 2005) , pp. 127-141, Nuremberg, Germany, November 2005.
download :: bibtex

Combining OCL and Programming Languages for UML Model Processing
Mika Siikarla, Jari Peltonen and Petri Selonen : "Combining OCL and Programming Languages for UML Model Processing", Electric Notes in Theoretical Computer Science (ENTCS), P.H. Schmitt, Proceedings of the Workshop, OCL 2.0 -- Industry Standard or Scientific Playground, Elsevier, vol. 102, pp. 175-194, 2004.
download :: bibtex

Profile-Based Checking of Behavioral Consistency
Johannes Koskinen and Kai Koskimies and Tommi Mikkonen and Tarja Systä : "Profile-Based Checking of Behavioral Consistency", Consistency in Model Driven Engineering (CoMoDe) Workshop of the European Conference on MDA – Foundations and Applications (ECMDA), November 2005.
bibtex

Run-Time Monitoring of Behavioral Profiles with Aspects
Kimmo Kiviluoma and Johannes Koskinen and Tommi Mikkonen : "Run-Time Monitoring of Behavioral Profiles with Aspects", Proceedings of the NWUML'2005, Department of Computer Sciences, University of Tampere, pp. 62-76, Tampere, Finland, 2005.
download :: bibtex

Commonalities of model relationships within product line processes
Jari Peltonen and Maarit Harsu : "Commonalities of model relationships within product line processes", Proceedings of the 9th Symposium on Programming Languages and Software Tools (SPLST 2005), pp. 156-171, Tartu, Estonia, August 2005.
bibtex

Towards the Unification of Patterns and Profiles in UML
Petri Selonen and Kai Koskimies and Tommi Mikkonen : "Towards the Unification of Patterns and Profiles in UML", Proceedings of the 2nd Nordic Workshop on the Unified Modeling Language (NWUML'04), TUCS, pp. 151-165, Turku, Finland, August 2004.
download :: bibtex

Tool Support for Quality-driven Design
Jakub Rudzki, Imed Hammouda, and Tommi Mikkonen : "Tool Support for Quality-driven Design", Proceedings of NWUML 2005, Tampere, Finland, August 2005.
bibtex

Task-driven Instantiation of Class Diagrams
Samuel Lahtinen, Imed Hammouda, Jari Peltonen, and Kai Koskimies : "Task-driven Instantiation of Class Diagrams", Proceedings of NWUML 2005, Tampere, Finland, August 2005.
bibtex

Managing Variability Using Heterogeneous Feature Variation Patterns
Imed Hammouda, Juha Hautamäki, Mika Pussinen, and Kai Koskimies. : "Managing Variability Using Heterogeneous Feature Variation Patterns", Proceedings of FASE 2005, Springer, pp. 145-159, Edinburgh, Scotland, April 2005.
bibtex

Adaptable Concern-Based Framework Specialization in UML
Imed Hammouda, Johannes Koskinen, Mika Pussinen, Mika Katara, and Tommi Mikkonen : "Adaptable Concern-Based Framework Specialization in UML", Proceedings of ASE 2004, IEEE Computer Society, pp. 78-87, Linz, Austria, September 2004.
download :: bibtex

Documenting Maintenance Tasks Using Maintenance Patterns
Imed Hammouda and Maarit Harsu : "Documenting Maintenance Tasks Using Maintenance Patterns", Proceedings of CSMR 2004, IEEE Computer Society, pp. 37-47, Tampere, Finland, March 2004.
bibtex

Tool-Supported Customization of UML Class Diagrams for Learning Complex System Models
Imed Hammouda, Olcay Guldogan, Kai Koskimies, and Tarja Systä : "Tool-Supported Customization of UML Class Diagrams for Learning Complex System Models", Proceedings of IWPC 2004, IEEE Computer Society, pp. 24-33, Bari, Italy, June 2004.
bibtex

A Tool Environment for Aspectual Patterns in UML
Imed Hammouda, Mika Katara, and Kai Koskimies : "A Tool Environment for Aspectual Patterns in UML", Proceedings of WoDiSEE 2004, IEE Publications, pp. 58-65, Edinburgh, Scotland, May 2004.
bibtex

Automatic Detection of Incomplete Instances of Structural Patterns in UML Class Diagrams
Sven Wenzel : "Automatic Detection of Incomplete Instances of Structural Patterns in UML Class Diagrams", Proceedings of the 3rd Nordic Workshop on UML and Software Modeling (NWUML’05), Tampere, Finland, August 2005 .
download :: bibtex

Detection of Incomplete Patterns Using FUJABA Principles
Sven Wenzel : "Detection of Incomplete Patterns Using FUJABA Principles", Proceedings of the 3rd International Fujaba Days 2005: MDD in Practice, Paderborn, Germany, September 2005 .
download :: bibtex

Thesis

VARMA: Pattern-Driven Tool Support for XML-Based Variation Management
Juha-Matti Vanhatupa : "VARMA: Pattern-Driven Tool Support for XML-Based Variation Management", Master of Science Thesis, Tampere University of Technology, 2007.
download :: bibtex

Concern Manipulation Toolset to Support Software Comprehension
Tommi Reinikainen : "Concern Manipulation Toolset to Support Software Comprehension", Master of Science Thesis, Tampere University of Technology, 2007.
download :: bibtex

Model Processing Operations for the Unified Modeling Language
Petri Selonen : "Model Processing Operations for the Unified Modeling Language", Ph.D Thesis, Publication 531, Tampere University of Technology, April 2005.
download :: bibtex

Multi-Dimensional Structuring of Software Systems: Tools and Applications
Imed Hammouda : "Multi-Dimensional Structuring of Software Systems: Tools and Applications", Ph.D. Thesis, Publication 549, Tampere University of Technology, 2005.
download :: bibtex

An Approach to the Automatic Recognition of Design Forms
Sven Wenzel : "An Approach to the Automatic Recognition of Design Forms", Diploma Thesis, University of Dortmund, Germany, September 2005.
download :: bibtex

Pattern-Based Tool Support for Frameworks: Towards Architecture-Oriented Software Development Environment
Juha Hautamäki : "Pattern-Based Tool Support for Frameworks: Towards Architecture-Oriented Software Development Environment", Ph.D. Thesis, Publication 521, Tampere University of Technology, 2005.
download :: bibtex

Lively

Model-Based Service Concepts For Testing Mobile Software

Thesis

A Plug-in Framework for Keyword-Driven Online Testing
Tommi Takala : "A Plug-in Framework for Keyword-Driven Online Testing", M.Sc. Thesis, Tampere University of Technology, March 2009.
bibtex

Debug Support for Model-Based GUI Testing
Henri Heiskanen : "Debug Support for Model-Based GUI Testing", M.Sc. Thesis, Tampere University of Technology, March 2009.
bibtex

Other publications

Application Modelling
Antti Heimola (Nokia) : "Application Modelling", Seminar on Model-Based Testing as a Service, TUT, Tampere, Finland, December 2008.
download (PDF) :: bibtex

Tool Support for Model-Driven Engineering of Service Compositions

Conferences & Workshops

Scenario-Driven Approach for Business Process Modeling
Anna Ruokonen, Lasse Pajunen, Tarja Systä : "Scenario-Driven Approach for Business Process Modeling", In proc. of ICWS 2009, IEEE, Los Angeles, CA, USA, July 2009.
bibtex

Scenario-Driven Approach to Support Business Process Modeling
Lasse Pajunen, Anna Ruokonen, Tarja Systä : "Scenario-Driven Approach to Support Business Process Modeling", Nw-MODE'08, 2008.
bibtex

Variation Needs in Service-Based Systems
Anna Ruokonen, Vilho Räisänen, Mika Siikarla, Kai Koskimies,Tarja Systä : "Variation Needs in Service-Based Systems", ECOWS'08, IEEE, 2008.
bibtex

On Model-Driven Development of Mobile Business Processes
Anna Ruokonen, Lasse Pajunen, Tarja Systä : "On Model-Driven Development of Mobile Business Processes", SERA 2008, IEEE, 2008.
bibtex

Decision Reuse in an Interactive Model Transformation
Mika Siikarla, Tarja Systä : "Decision Reuse in an Interactive Model Transformation", Proceedings of the European Conference on Software Maintenance and Reengineering (CSMR) 2008, IEEE, Athens, Greece, April 2008.
download :: bibtex

Transformation-Driven Software Evolution Hinders Software Evolution
Mika Siikarla : "Transformation-Driven Software Evolution Hinders Software Evolution", Proceedings of Model-Driven Software Evolution (MoDSE) 2008 Workshop, Springer, Athens, Greece, April 2008.
download :: bibtex

Towards a profile-based approach to manage SOA-to-SOA integration challenges
Tarja Systä, Mikko Hartikainen : "Towards a profile-based approach to manage SOA-to-SOA integration challenges", SPLST 2007, June 2007.
bibtex

Modeling and Generating Mobile Business Processes
Lasse Pajunen, Anna Ruokonen : "Modeling and Generating Mobile Business Processes", IEEE 2007 International Conference on Web Services (ICWS), pp. 920-927, Salt Lake City, Utah, USA, July 2007.
bibtex

MoMupe

Infrastructure for Multi-dimensional Software Architecture

Journals

A Model-based Approach to Reflective Command Interfaces
Lahtinen S., Koskimies K. : "A Model-based Approach to Reflective Command Interfaces", Nordic Journal of Computing, Hvannberg E., vol. 14, no. 4, pp. 264-281, Winter 2008.
bibtex

Adding speech recognition support to UML tools
Samuel Lahtinen and Jari Peltonen : "Adding speech recognition support to UML tools", Journal of Visual Languages and Computing, Elsevier, vol. 16, pp. 85-118, February-April 2005.
bibtex

Conferences & Workshops

A Model-based Approach to Reflective Command Interfaces
Samuel Lahtinen and Kai Koskimies : "A Model-based Approach to Reflective Command Interfaces", Proceedings of the 5th Nordic Workshop on Model Driven Engineering (NW-MoDE 08), pp. 113-128, Reykjavik, Iceland, August 2008.
bibtex

Automated Derivation of Speech Interfaces: A Model-based Approach
Samuel Lahtinen, Heikki Suontausta, Kai Koskimies : "Automated Derivation of Speech Interfaces: A Model-based Approach", Proceedings of ASWEC 2008: 19th Australian Software Engineering Conference, IEEE Computer Society, pp. 289-299, Perth, Australia, March 2008.
bibtex

Task-driven Instantiation of Class Diagrams
Samuel Lahtinen, Jari Peltonen, Imed Hammouda, Kai Koskimies : "Task-driven Instantiation of Class Diagrams", Proc. The 3rd Nordic Workshop on UML and Software Modeling (NWUML'2005), pp. 30-47, Tampere, Finland, August 2005.
bibtex

Guided Model Creation: A Task-Driven Approach
Samuel Lahtinen, Jari Peltonen, Imed Hammouda, and Kai Koskimies : "Guided Model Creation: A Task-Driven Approach", Proc. of Visual Languages and Human Centric Computing (VL/HCC 2006), IEEE Computer Society, pp. 88-94, Brighton, UK, September 2006.
bibtex

A Specification Technique for Model Based Derivation of Speech Interfaces
Jari Peltonen, Samuel Lahtinen, Kai Koskimies : "A Specification Technique for Model Based Derivation of Speech Interfaces", IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2004), IEEE Computer Society, pp. 251-253, Rome, Italy, September 2004.
bibtex

Enhancing usability of UML CASE-tools with speech recognition
Samuel Lahtinen, Jari Peltonen, Kai Koskimies : "Enhancing usability of UML CASE-tools with speech recognition", Proc. IEEE Symposium on Human Centric Computing Languages, IEEE Computer Society, pp. 227-235, Auckland, New Zeland, October 2003.
bibtex

Deriving speech interface for manipulating model instances: a UML case study
Samuel Lahtinen, Jari Peltonen, Kai Koskimies : "Deriving speech interface for manipulating model instances: a UML case study", Proc. Workshop on Bridging the Gaps II (ICSE Workshop), pp. 67-74, Edinburgh, May 2004.
bibtex

Thesis

Model-based Engineering of Command Interfaces
Samuel Lahtinen : "Model-based Engineering of Command Interfaces", Ph.D. Thesis, Publication 945, pp. 242, 2010.
bibtex

Safety-critical software in machinery

Conferences & Workshops

Safety Process Patterns: Demystifying Safety Standards
Johannes Koskinen, Matti Vuori, and Mika Katara : "Safety Process Patterns: Demystifying Safety Standards", Proceedings of the IEEE CS International Conference on Software Science, Technology, and Engineering (SwSTE 2012), IEEE CS, Herzlia, Israel, June 2012.
bibtex

Agile/Lean & Safety: Perfect Match or Impossible Combination
Mika Katara : "Agile/Lean & Safety: Perfect Match or Impossible Combination", Presentation at the Seminar on Functional Safety, VTT, Espoo, Finland, April 2011, .
download (PDF) :: bibtex

Agile Development of Safety-Critical Software for Machinery: A View on the Change Management in IEC-61508-3 ed2.0
Jani Paalijärvi and Mika Katara : "Agile Development of Safety-Critical Software for Machinery: A View on the Change Management in IEC-61508-3 ed2.0", Presentation at the ASAF seminar 'Uusi IEC61508 standardi, Teemapäivä 3, IEC 61508 standardin osat 3, 7', Automaatioseura, Helsinki, December 2010.
download (PDF) :: bibtex

Standardin IEC 61508-3 testaustekniikoista - V-malli vai ketterämpi prosessi?
Mika Katara : "Standardin IEC 61508-3 testaustekniikoista - V-malli vai ketterämpi prosessi?", Presentation at the ASAF seminar 'Uusi IEC61508 standardi, Teemapäivä 3, IEC 61508 standardin osat 3, 7', Automaatioseura, Helsinki, December 2010.
download (PDF) :: bibtex

Agile development of safety-critical software
Matti Vuori : "Agile development of safety-critical software ", Presentation at the Ohjelmaturva closing seminar, Tampere University of Technology, November 2011.
download :: bibtex

IEC 61508-3 sisältö ja rakenne
Matti Vuori : "IEC 61508-3 sisältö ja rakenne", Presentation at the ASAF seminar Toiminnallisen turvallisuuden teemapäivä 2, Automaatioseura, Helsinki, November 2011.
download (PDF) :: bibtex

Model-Based Testing and Formal Verification in IEC 61508-3 ed2.0
Mika Katara : "Model-Based Testing and Formal Verification in IEC 61508-3 ed2.0", Presentation at a Seminar on Testing Embedded Systems, Tampere University of Technology, August 2011.
download (PDF) :: bibtex

Verification of Safety-Critical Systems: A Case Study Report on Using Modern Model Checking Tools
Antti Jääskeläinen, Mika Katara, Shmuel Katz, and Heikki Virtanen : "Verification of Safety-Critical Systems: A Case Study Report on Using Modern Model Checking Tools", Proc. 6th International Workshop on Systems Software Verification (SSV 2011) , Nijmegen, The Netherlands, August 2011.
download (PDF) :: bibtex

Safety requirements for software of machinery – The weakest link in design
Timo Malm, Marita Hietikko, and Mika Katara : "Safety requirements for software of machinery – The weakest link in design ", AutomaatioXIX 2011 seminar, Finnish Society of Automation, Helsinki, Finland, March 2011.
bibtex

Agile development of safety-critical software for machinery: A view on the change management in IEC-61508-3
Jani Paalijärvi, Mika Katara, Mika Karaila, and Teemu Parkkinen : "Agile development of safety-critical software for machinery: A view on the change management in IEC-61508-3", Proc. the 6th International Conference on Safety of Industrial Automated Systems (SIAS 2010), Finnish Society of Automation, Tampere, Finland, June 2010.
bibtex

Thesis

Development of Safety-Critical Software using Agile Methods
Jani Paalijärvi : "Development of Safety-Critical Software using Agile Methods", Master of Science Thesis, Tampere University of Technology, May 2010.
bibtex

Technical reports

Safety-critical software in machinery applications
Timo Malm, Matti Vuori, Jari Rauhamäki, Timo Vepsäläinen, Johannes Koskinen, Jari Seppälä, Heikki Virtanen, Marita Hietikko & Mika Katara : "Safety-critical software in machinery applications", VTT, vol. VTT Tiedotteita - Meddelanden - Research Notes, no. 2601, pp. 111 p. + app. 10 p., Espoo, 2011.
download (PDF) :: bibtex

Safety Process Patterns in the Context of IEC 61508-3
Matti Vuori, Heikki Virtanen, Johannes Koskinen & Mika Katara : "Safety Process Patterns in the Context of IEC 61508-3", Tampere University of Technology, Department of Software Systems, Report 15, pp. 128, Tampere, 2011.
download :: bibtex

Agile Development of Safety-Critical Software
Matti Vuori : "Agile Development of Safety-Critical Software", Tampere University of Technology, Department of Software Systems, Report 14, pp. 95, Tampere, 2011.
download :: bibtex

Towards a truly web oriented programming language

Software Evolution, Refactoring, Improvement of Operational

Journals

Towards Unambiguous Model Fragments
Mika Siikarla and Jari Peltonen and Johannes Koskinen : "Towards Unambiguous Model Fragments", Selected papers of the fourth nordic workshop on UML and software modelling (NWUML'06), vol. 13, pp. 180 - 195 , September 2006.
download :: bibtex

A Pattern-Based Approach to Generate Code from API Usage Scenarios
Johannes Koskinen, Anna Ruokonen, Tarja Systä : "A Pattern-Based Approach to Generate Code from API Usage Scenarios", Nordic Journal of Computing, vol. 13(2006), .
bibtex

Conferences & Workshops

Transformations have to be developed, ReST assured
Mika Siikarla, Markku Laitkorpi, Petri Selonen, Tarja Systä : "Transformations have to be developed, ReST assured", To appear, Proceedings of the International Conference on Model Transformations (ICMT) 2008, Zurich, Switzerland, July 2008.
download :: bibtex

Software Comprehension through Concern-based Queries
Reinikainen, T. Hammouda, I., Laiho, J., Koskimies, K. and Systä, T. : "Software Comprehension through Concern-based Queries", Accepted for publication at ICPC 2007, 2007.
bibtex

A UML-based Approach for Abstracting Application Interfaces to REST-like Services
Markku Laitkorpi and Johannes Koskinen and Tarja Systä : "A UML-based Approach for Abstracting Application Interfaces to REST-like Services", Proceedings of the 13th Working Conference on Reverse Engineering (WCRE 2006), pp. 134 - 146, WCRE 2006, Oct. 2006.
bibtex

Constructing Usage Scenarios for API Redocumentation
Juanjuan Jiang, Johannes Koskinen, Anna Ruokonen, Tarja Systä : "Constructing Usage Scenarios for API Redocumentation", The 15th IEEE International Conference on Program Comprehension (ICPC) 2007, Banff, Alberta,Canada, 2007.
download :: bibtex

Profile-Based Checking of Behavioral Consistency
Johannes Koskinen and Kai Koskimies and Tommi Mikkonen and Tarja Systä : "Profile-Based Checking of Behavioral Consistency", Consistency in Model Driven Engineering (CoMoDe) Workshop of the European Conference on MDA – Foundations and Applications (ECMDA), November 2005.
bibtex

Run-Time Monitoring of Architecturally Significant Behaviors Using Behavioral Profiles and Aspects
Kimmo Kiviluoma and Johannes Koskinen and Tommi Mikkonen : "Run-Time Monitoring of Architecturally Significant Behaviors Using Behavioral Profiles and Aspects", Proc. of International Symposium on Software Testing and Analysis, ACM, Portland, Maine, July 2006.
bibtex

Metamodel-Based Inference of Inter-Model Correspondence
Petri Selonen and Markus Kettunen : "Metamodel-Based Inference of Inter-Model Correspondence", 11th European Conference on Software Maintenance and Reengineering, Amsterdam, March 2007.
bibtex

Profile-Based Approach to Support Comprehension of Software Behavior
Johannes Koskinen and Markus Kettunen and Tarja Systä : "Profile-Based Approach to Support Comprehension of Software Behavior", 14th IEEE International Conference on Program Comprehension, Athens, Greece, June 2006.
download :: bibtex

Thesis

Behavioral Profiles in Software Engineering: Motivations, Definitions, and Applications
Johannes Koskinen : "Behavioral Profiles in Software Engineering: Motivations, Definitions, and Applications", Ph.D. Thesis, Publication 757, Tampere University of Technology, November 2008.
download :: bibtex

Concern Manipulation Toolset to Support Software Comprehension
Tommi Reinikainen : "Concern Manipulation Toolset to Support Software Comprehension", Master of Science Thesis, Tampere University of Technology, 2007.
bibtex

Analysis of software architectures in embedded systems (Sulake)

Conferences & Workshops

Using Domain Knowledge to Boost Software Architecture Evaluation
Veli-Pekka Eloranta, Kai Koskimies : "Using Domain Knowledge to Boost Software Architecture Evaluation", Proc. 4th European Conference on Software Architecture (ECSA), Springer, vol. LNCS 6285, pp. 319-326, August 2010.
bibtex

Experiences on Scenario Based Architecture Evaluations in Machine Industry
Ville Reijonen, Johannes Koskinen and Ilkka Haikala : "Experiences on Scenario Based Architecture Evaluations in Machine Industry", Proc. 4th European Conference on Software Architecture (ECSA), Springer, vol. LNCS 6285, pp. 214-229, August 2010.
bibtex

Code Clones: Good, Bad, or Ugly?
Maarit Harsu, Tibor Bakota, Istvan Siket, Kai Koskimies, and Tarja Systä : "Code Clones: Good, Bad, or Ugly?", SPLST 2009, Tampere, Finland, August 2009.
bibtex

Software Architecture Patterns for Distributed Embedded Control Systems
Veli-Pekka Eloranta, Johannes Koskinen, Marko Leppänen, and Ville Reijonen : "Software Architecture Patterns for Distributed Embedded Control Systems", Proceeding of EuroPlop '09, 2009.
download :: bibtex

Using Domain Model For Structuring Pattern Language
Veli-Pekka Eloranta, Marko Leppänen, and Kai Koskimies : "Using Domain Model For Structuring Pattern Language", Nw-Mode '09, August 2009.
download :: bibtex

Discovering a pattern language for embedded machine control systems using architecture evaluation methods
Marko Leppänen, Johannes Koskinen, and Tommi Mikkonen : "Discovering a pattern language for embedded machine control systems using architecture evaluation methods", SPLST'09, Tampere, Finland, August 2009.
download :: bibtex

Technical reports

A Pattern Language for Distributed Machine Control Systems
Veli-Pekka Eloranta, Johannes Koskinen, Marko Leppänen and Ville Reijonen : "A Pattern Language for Distributed Machine Control Systems", ISBN 978-952-15-2319-9, Tampere University of Technology, Department of Software Systems. Report, vol. 9, Tampere University of Techology, pp. 108, 2010.
download (pdf for printing) :: download (pdf for screen reading) :: bibtex

Patterns for Distributed Embedded Control System Software Architecture
Veli-Pekka Eloranta, Vesa-Matti Hartikainen, Marko Leppänen, Ville Reijonen, Ilkka Haikala, Kai Koskimies and Tommi Mikkonen : "Patterns for Distributed Embedded Control System Software Architecture", Presented in VikingPLoP 2008, Tampere University of Technology, Department of Software Systems. Report, vol. 2, pp. 17, 2009.
download :: bibtex

Sulava: Improving software architecting practices in machine control systems

Technical reports

Sulava loppuraportti
Kai Koskimies : "Sulava loppuraportti", Projektin tulosten ja julkaisujen yhteenveto, Ohjelmistotekniikan laitos, TTY, toukokuu 2012.
download :: bibtex

Sulava Scrum Survey
Veli-Pekka Eloranta & Kai Koskimies : "Sulava Scrum Survey", TUT publication series, report 17, Department of Software Systems, pp. 28, 09 2011.
download (PDF version of the report) :: bibtex

Test Modeling using Action Words

Conferences & Workshops

Automatic GUI test generation for smart phone applications - an evaluation
Antti Jääskeläinen, Mika Katara, Antti Kervinen, Mika Maunumaa, Tuula Pääkkönen, Tommi Takala, and Heikki Virtanen : "Automatic GUI test generation for smart phone applications - an evaluation", Proceedings of the Software Engineering in Practice track of the 31st International Conference on Software Engineering (ICSE 2009), IEEE Computer Society, pp. 112-122 (companion volume), Vancouver, Canada, May 2009.
download :: bibtex

Creating a Test Model Library for GUI Testing of Smartphone Applications
Antti Jääskeläinen, Antti Kervinen, and Mika Katara : "Creating a Test Model Library for GUI Testing of Smartphone Applications", Short paper, Proceedings of the Eight International Conference on Quality Software (QSIC 2008), IEEE Computer Society, pp. 276-282, Oxford, UK, August 2008.
download :: bibtex

Model-Based Testing Service on the Web
Antti Jääskeläinen, Mika Katara, Antti Kervinen, Henri Heiskanen, Mika Maunumaa, and Tuula Pääkkönen : "Model-Based Testing Service on the Web", Proceedings of the the 20th IFIP Int. Conference on Testing of Communicating Systems and the 8th Int. Workshop on Formal Approaches to Testing of Software (TESTCOM/FATES 2008), Springer LNCS, no. 5047, pp. 38-53, Tokyo, Japan, June 2008.
download :: bibtex

From Keywords to Model-Based Test Automation
Tuula Pääkkönen and Mika Katara : "From Keywords to Model-Based Test Automation", Presentation at EuroSTAR 2007, Stockholm, Sweden, December 2007.
bibtex

Can I Have Some Model-Based GUI Tests Please? – Providing a Model-Based Testing Service through a Web Interface
Mika Katara, Antti Kervinen, Mika Maunumaa, Tuula Pääkkönen, and Antti Jääskeläinen : "Can I Have Some Model-Based GUI Tests Please? – Providing a Model-Based Testing Service through a Web Interface", Proceedings of the second annual Conference of the Association for Software Testing (CAST 2007), Bellevue, WA, USA, July 2007.
download :: bibtex

Making Model-Based Testing More Agile: a Use Case Driven Approach
Mika Katara and Antti Kervinen : "Making Model-Based Testing More Agile: a Use Case Driven Approach", Proceedings of the Haifa Verification Conference 2006, Springer LNCS, no. 4383, Haifa, Israel, October 2006.
bibtex

Towards Deploying Model-Based Testing with a Domain-Specific Modeling Approach
Mika Katara, Antti Kervinen, Mika Maunumaa, Tuula Pääkkönen, and Mikko Satama : "Towards Deploying Model-Based Testing with a Domain-Specific Modeling Approach", Proceedings of TAIC PART - Testing: Academic & Industrial Conference, IEEE CS Press, pp. 81-89, Windsor, UK, August 2006.
download :: bibtex

Controlling Testing using Three-Tier Model Architecture
Antti Kervinen, Mika Maunumaa, and Mika Katara : "Controlling Testing using Three-Tier Model Architecture", Proceedings of the Second Workshop on Model Based Testing (MBT 2006), Vienna, Austria, March 2006.
download :: bibtex

Model-Based Testing Through a GUI
Antti Kervinen, Mika Maunumaa, Tuula Pääkkönen, and Mika Katara : "Model-Based Testing Through a GUI", Proceedings of the 5th International Workshop on Formal Approaches to Testing of Software (FATES 2005), Springer LNCS, no. 3997, Edinburgh, Scotland, UK, July 2005.
download :: bibtex

Thesis

A Domain-Specific Tool for Creation and Management of Test Models
Antti Jääskeläinen : "A Domain-Specific Tool for Creation and Management of Test Models", M.Sc. Thesis, Tampere University of Technology, January 2008.
bibtex

Event Capturing Tool for Model-Based GUI Test Automation
Mikko Satama : "Event Capturing Tool for Model-Based GUI Test Automation", M.Sc. Thesis, Tampere University of Technology, September 2006.
download :: bibtex

UML++: Techniques for UML Based Software Development

Journals

Transformations Between UML Diagrams
Petri Selonen and Kai Koskimies and Markku Sakkinen : "Transformations Between UML Diagrams", Journal of Database Management, Idea Group, vol. 14, no. 3, pp. 37-55, 2003.
bibtex

Conferences & Workshops

Minimally Adequate Teacher Synthesizes Shuttles, too
Johannes Koskinen and Erkki Mäkinen and Tarja Systä : "Minimally Adequate Teacher Synthesizes Shuttles, too", co-located with ICSE 2004, Third International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM04), Edinburgh, United Kingdom, 2004.
bibtex

Processing UML Models with Visual Scripts
Jari Peltonen and Petri Selonen : "Processing UML Models with Visual Scripts", Proceedings of the 2001 Human-Centric Computing Languages and Environments (HCC'01), IEEE CS Press, pp. 264-271, Stresa, Italy, September 2001.
bibtex

Generating Structured Implementation Schemes from UML Sequence Diagrams
Petri Selonen and Tarja Systä and Kai Koskimies : "Generating Structured Implementation Schemes from UML Sequence Diagrams", QiaYun, L. and Riehle, R. and Pour, G. and Meyer, B., Proceedings of TOOLS USA 2001, IEEE CS Press, pp. 317-328, Santa Barbara, CA, USA, July-August 2001.
bibtex

A Study on Current State of the Art in Tool-Supported UML-Based Static Reverse Engineering
Ralf Kollman and Petri Selonen and Eleni Stroulia and Tarja Systä and Albert Zündorf : "A Study on Current State of the Art in Tool-Supported UML-Based Static Reverse Engineering", Proceedings of the 9th Working Conference of Reverse Engineering (WCRE'2002), IEEE CS Press, pp. 22-34, Richmond, Virginia, USA, October-November 2002.
bibtex

Set Operations for the Unified Modeling Language
Petri Selonen : "Set Operations for the Unified Modeling Language", Pekka Kilpeläinen and Niina Päivinen, Proceedings of the 8th Symposium on Programming Languages and Tools (SPLST'03), University of Kuopio, pp. 70-81, Kuopio, Finland, June 2003.
bibtex

An Approach and a Platform for Building UML Model Processing Tools
Jari Peltonen and Petri Selonen : "An Approach and a Platform for Building UML Model Processing Tools", Proceedings of the ICSE'04 Workshop on Directions of Software Engineering Environments (WoDiSEE'04), IEE, pp. 51-57, Edinbugh, UK, May 2004.
bibtex

Other publications

UML työvälineenä ja tutkimuskohteena
Kai Koskimies and Johannes Koskinen and Mika Maunumaa and Jari Peltonen and Petri Selonen and Mika Siikarla and Tarja Systä : "UML työvälineenä ja tutkimuskohteena", In Finnish, Tietojenkäsittelytiede, no. Issue 21, pp. 19-51, 2004.
bibtex

Web Services in Ad-Hoc and Mobile Infrastructure

updated 04.02.13 20:01:26 © Copyright 2011 Practise Group - Department of Software Systems - Tampere University of Technology