Pub

Publications


ARCHIMEDES Project

Journals

Conferences & workshops

Tool-Supported Customization of UML Class Diagrams for Learning Complex System Models
Hammouda, I., Guldogan, O., Koskimies, K., Systä, T.: Tool-Supported Customization of UML Class Diagrams for Learning Complex Systems. In Proceedings of the 12th International Workshop on Program Comprehension (IWPC 2004), Bari, Italy, June 2004. (PDF)

A Tool Environment for Aspectual Patterns in UML
Hammouda, I., Katara, M., Koskimies, K.: A Tool Environment for Aspectual Patterns in UML. In Workshop on Directions in Software Engineering Environments (WoDiSEE 2004), Edinburgh, Scotland, UK, May 2004. (PDF)

On the Role of Architectural Style in Model-Driven Development
Mikkonen, T., Pitkänen, R., Pussinen, M.: On the Role of Architectural Style in Model-Driven Development. In Proceedings of the First European Workshop on Software Architecture (EWSA 2004), Lecture Notes in Computer Science, vol. 3047, pp. 74-87, St. Andrews, Scotland, UK, May 2004.

Documenting Maintenance Tasks Using Maintenance Patterns
Hammouda, I., Harsu, M.: Documenting Maintenance Tasks Using Maintenance Patterns. In Proceedings of the 8th European Conference on Software Maintenance and Reengineering (CSMR 2004), pp. 37-47, Tampere, Finland, March 2004. (PDF)

UML-based Approach for Documenting and Specializing Frameworks Using Patterns and Concern Architectures
Hammouda, I., Pussinen, M., Katara, M., Mikkonen, T.: 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. (PDF)

Assessing Systems Adaptability to a Product Family
Korhonen, M., Mikkonen, T.: Assessing Systems Adaptability to a Product Family. In Proceedings of the International Conference on Software Engineering Research and Practice (SERP'03), pp. 135-141, Las Vegas, Nevada, USA, June 2003. (PDF)

On the Structure of a Software Product-Line for Mobile Software
Myllymäki T., Koskimies K., Mikkonen, T.: On the Structure of a Software Product-Line for Mobile Software. In Proceedings of the Joint VIVIAN-ROBOCOP Workshop on Software Infrastructures for Component-Based Applications on Consumer Devices, pp. 85-91, Lausanne, Switzerland, September 2002. (PDF)

Structuring Product-lines: A Layered Architectural Style
Myllymäki T., Koskimies K., Mikkonen, T.: Structuring Product-lines: A Layered Architectural Style. In Proceedings of the 8th International Conference on Object-Oriented Information Systems (OOIS'02), Lecture Notes in Computer Science, vol. 2426, Montpellier, France, September 2002. (PDF)

Technical Reports

From architectural requirements to architectural design
Harsu M.: From architectural requirements to architectural design. Report 34, Institute of Software Systems, Tampere University of Technology, May 2003, 44 pp. (PDF)

Variability enabling techniques for software product lines
Tirilä A.:   Variability enabling techniques for software product lines. Diploma thesis, Institute of Software Systems, Tampere University of Technology, May 2003, 59 pp. (PDF)

A survey on software product-line evolution
Pussinen M.: A survey on software product-line evolution. Report 32, Institute of Software Systems, Tampere University of Technology, December 2002, 51 pp. (PDF)

A survey on domain engineering
Harsu M.: A survey on domain engineering. Report 31, Institute of Software Systems, Tampere University of Technology, December 2002, 26 pp. (PDF)

Scenario-based assessment of software architectures
Lahtinen E.:  Scenario-based assessment of software architectures. Diploma thesis, Institute of Software Systems, Tampere University of Technology, April 2002, 48 pp. (PDF)

Variability management in software product-lines
Myllymäki T.: Variability management in software product-lines. Report 30, Institute of Software Systems, Tampere University of Technology, January 2002, 46 pp. (PDF)

FAST product-line architecture process
Harsu M.: FAST product-line architecture process. Report 29, Institute of Software Systems, Tampere University of Technology, January 2002, 45 pp. (PDF)

A survey of product-line architectures
Harsu M.: A survey of product-line architectures. Report 23, Institute of Software Systems, Tampere University of Technology, March 2001, 79 pp. (PDF)

ART, ATOS and UML++ Projects

Journals

Adding speech recognition support to UML tools
Lahtinen S., Peltonen J.: Adding speech recognition support to UML tools. Journal of Visual Languages and Computing, Vol. 16/1-2, pp. 85-118.

Towards the Unification of Patterns and Profiles in UML
Selonen P., Siikarla M., Koskimies K., and Mikkonen T.: Towards the Unification of Patterns and Profiles in UML. Nordic Journal of Computing, Vol. 11, No. 3, 2004, pp. 235-253.

Transformations Between UML Diagrams
Selonen P., Koskimies K., and Sakkinen M.: Transformations Between UML Diagrams. Journal of Database Management, Vol. 14, No. 3, 2003, pp. 37-55.

Automated compression of state machines using UML statechart diagram notation
Systä T., Koskimies K., and Mäkinen E.:, Automated compression of state machines using UML statechart diagram notation. Information and Software Technology, vol. 44, issue 10, 2002.

Minimally adequate teacher synthesizes statechart diagrams
Mäkinen E. and Systä T.: Minimally adequate teacher synthesizes statechart diagrams. Acta Informatica 38, 235-259, 2002.

Implementing a Component-Based Tool for Interactive Synthesis of UML Statechart Diagrams
Koskinen J., Mäkinen E., and Systä T., Implementing a Component-Based Tool for Interactive Synthesis of UML Statachart Diagrams, Acta Cybernetica, vol. 14, no 4, 2002. (an extended version of the SPLIT 2001 paper)

Shimba - An Environment for Reverse Engineering Java Software Systems
Systä T., Koskimies K., Muller H.:Shimba - An Environment for Reverse Engineering Java Software Systems. Software Practice & Experience 31 (2001), 371-394.

Conferences & workshops

UML-based Reverse Engineering and Model Analysis Approaches for Software Architecture Maintenance
C. Riva, P. Selonen, T. Systä, and J. Xu.: UML-based Reverse Engineering and Model Analysis Approaches for Software Architecture Maintenance, In: Proceedings of the International Conference on Software Maintenance (ICSM'04), pages 50-59, September 2004.

A Specification Technique for Model Based Derivation of Speech Interfaces
Peltonen J., Lahtinen S., Koskimies K.: A Specification Technique for Model Based Derivation of Speech Interfaces, In Proc. of IEEE Symposium on Visual Languages and Human-Centric Computing Rome, Italy, September 26-29 2004. To appear.

Towards the Unification of Patterns and Profiles in UML
P. Selonen, K. Koskimies, and T. Mikkonen: Towards the Unification of Patterns and Profiles in UML, In: Proceedings of the 11th Nordic Workshop on Programming and Software Development Tools and Techniques, NWPER'2004, Turku, Finland, Åbo Akademi, pages 151-165, August 2004.

Minimally Adequate Teacher Synthesizes Shuttles, too
Koskinen J., Mäkinen E., Systä T.: Minimally Adequate Teacher Synthesizes Shuttles, too. In: Third International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM04), co-located with ICSE 2004.

An Implementation of Set Operations on UML Diagrams
J. van der Ven: An Implementation of Set Operations on UML Diagrams. Master of Science Thesis, Rijksuniversitetit Groningen, Instituut voor Wiskunde en Informatica, Netherlands, and Tampere University of Technology, Department of Information Technology, Finland, 2004.

Establishing a Software Architecting Environment
C. Riva, P. Selonen, T. Systä, A.-P. Tuovinen, J. Xu, and Y. Yang: Establishing a Software Architecting Environment, In: Proc. of the 4th Working IEEE/IFIP Conference on Software Architecture (WICSA'04), pages 188-200, June 2004.

An Approach and a Platform for Building UML Model Processing Tools
J. Peltonen and P. Selonen: An Approach and a Platform for Building UML Model Processing Tools, In: Proc. of the ICSE'04 Workshop on Directions of Software Engineering Environments (WoDiSEE'04), pages 51--57, May 2004.

Deriving Speech Interface for Manipulating Model Instances: a UML Case Study
Lahtinen S., Peltonen J., Koskimies K.: Deriving Speech Interface for Manipulating Model Instances: a UML Case Study In Proc. of Workshop on Bridging the Gaps II (SEHCI 2004), Edinburgh, pp. 67-74, May 2004.

Combining OCL and Programming Languages for UML Model Processing
M. Siikarla, J. Peltonen, and P. Selonen: Combining OCL and Programming Languages for UML Model Processing, In: Electric Notes in Theoretical Computer Science (ENTCS) dedicated to the UML 2003 workshops, Elsevier, 2003. Accepted for publication.

Enhancing Usability of UML CASE-Tools with Speech Recognition
Lahtinen S., Peltonen J.: Enhancing Usability of UML CASE-Tools with Speech Recognition, In Proc. of IEEE Symposium on Human Centric Computing Languages and Environments, pp. 227 - 235, Oct. 28-31, 2003.

Validating UML Models Against Architectural Profiles
Selonen P., Xu J.: Validating UML Models Against Architectural Profiles, In Proc: of ESEC 2003, Helsinki, Finland, September 2003, pp. 58-67. (PDF)

Set Operations for the Unified Modeling Language
Selonen P.: Set Operations for the Unified Modeling Language, In: Proc. of SPLST 2003, Kuopio, Finland, June 2003, 70-81.

Generative and Incremental Approach to Scripting Support Implementation,
Savikko V.: Generative and Incremental Approach to Scripting Support Implementation, In: Proc. of WASA 2003 (International Workshop on Adaptable System/Software Architectures, Las Vegas, USA, June 2003, to appear. (PDF)

Exploring differences in exchange formats - tools support and case studies,
Jiang J.-J. and Systä T.: Exploring differences in exchange formats - tool support and case studies, In: Proc. of CSMR 2003, pp. 389-398.

A Study on the Current State of the Art in Tool-Supported UML-Based Static Reverse Engineering
Kollmann R., Selonen P., Stroulia E., Systä T., and Zundorf A.: A Study on the Current State of the Art in Tool-Supported UML-Based Static Reverse Engineering, In Proc. of WCRE 2002.

xUMLi: Towards a Tool-independent UML Processing Platform
Airaksinen J., Koskimies K., Koskinen J., Peltonen J., Selonen P., Siikarla M., Systä T.: xUMLi: Towards a Tool-independent UML Processing Platform, In Proc. of NWPER 2002. (PDF)

Towards Tools Assisted UML Development Environments
Koskinen J., Peltonen J., Selonen P., Systä T., Koskimies K.: Towards tool assisted UML development environments. In: 7th Symposium on Programming Language and Software Tools, Szeged, Hungary, June 2001

Implementing a Component-Based Tool for Synthesizing UML Statechart Diagrams
Koskinen J., Mäkinen E., Systä T.: Implementing a Component-Based Tool for Synthesizing UML Statechart Diagrams. In Proc. of SPLST'2001, Szeged, Hungary, June 2001, 28-42.

Minimally adequate teacher synthesizes statechart diagrams
Mäkinen E. and Systä T.: MAS - An Interactive Synthesizer to Support Behavioral Modeling in UML. In Proc of ICSE 2001, Toronto, May 2001, 15-24.

Model processing tools in UML
Koskinen J., Peltonen J., Selonen P., Systä T., Koskimies K.: Model processing tools in UML. Proc. ICSE 2001, Toronto, May 2001, 819-820 (Formal research demo).

Minimally Adequate Synthesizer Tolerates Inaccurate Information during Behavioral Modeling
Koskinen J., Mäkinen E., Systä T.:Minimally Adequate Synthesizer Tolerates Inaccurate Information during Behavioral Modeling. In Proc. of SCASE 2001, Enschede, The Netherlands, February 2001.

How to Make Apples from Oranges in UML
Selonen P., Koskimies K., Sakkinen M.: How to Make Apples from Oranges in UML. In Proc. of HICCS 34, IEEE Computer Society 2001. pdf.

Understanding the Behavior of Java Programs
Systä T.: Understanding the Behavior of Java Programs, In Proc. of WCRE 2000, Brisbane, Australia, November 2000. pdf, and compressed ps

Minimally adequate teacher designs software
Mäkinen E. and Systä T.: Minimally adequate teacher designs software, University of Tampere, Dept. of Computer and Information Sciences, Report A-2000-7, 2000. (submitted) pdf, and compressed ps

Implementing Minimally Adequate Synthesizer
Mäkinen E. and Systä T.: Implementing Minimally Adequate Synthesizer, University of Tampere, Dept. of Computer and Information Sciences, Report A-2000-9, 2000. compressed ps

Generating Structured Implementation Schemes from UML Sequence Diagrams
Selonen P., Systä T., Koskimies K.: Generating Structured Implementation Schemes from UML Sequence Diagrams. In Proc. of TOOLS USA 2001, Santa Barbara, California, 2001. 317-328.

Processing UML Models with Visual Scripts
Peltonen J., Selonen P.: Processing UML Models with Visual Scripts. In Proc. of HCC'01, Stresa, Italy, 2001. 264-271.

Scenario-based Synthesis of Annotated Class Diagrams in UML
Selonen P., Systä T.: Scenario-based Synthesis of Annotated Class Diagrams in UML. In: Proceedings of OOPSLA 2000 Workshop: Scenario-based round-trip engineering (T. Systä, ed.), Technical Report 20, Tampere University of Technology, 2000. 26-31.

Visual Tool Support for Scenario-based Software Engineering
Peltonen J., Selonen P.: Visual Tools Support for Scenario-based Software Engineering. In: Proceedings of OOPSLA 2000 Workshop: Scenario-based round-trip engineering (T. Systä, ed.), Technical Report 20, Tampere University of Technology, 2000. 38-44.

Visual Scripting for UML-Based Tools
Peltonen J.: Visual Scripting for UML-Based Tools. In: Proceedings of ICSSEA 2000: Paris, France, December 2000.

Dynamic Visualization of C++ Programs with UML Sequence Diagrams
Raitalaakso T.: Master of Science Thesis, December 2000, pdf, abstract.

Implementing MAS on Windows NT
Koskinen J.: Master of Science Thesis, December 2000, Abstract
Finnish version available on pdf and compressed ps.

Tool-supported compression of UML class diagrams
Dosa F. and Koskimies K.: Tool-supported compression of UML class diagrams. In Proc. of UML '99, Fort Collins. Springer-Verlag 1999, 172-187.

Technical Reports

FRED Project

Journals

A Pattern-Based J2EE Application Development Environment
Hammouda I., Koskimies K.: A Pattern-Based J2EE Application Development Environment. Nordic Journal of Computing, Volume 9, Number 3, Fall 2002, 248-260.

Conferences & workshops

Generating Pattern-Based Web Tutorials for Java Frameworks
Hakala M., Hautamäki J., Koskimies K., Savolainen P.: Generating Pattern-Based Web Tutorials for Java Frameworks. In: Scientific Engineering for Distributed Java Applications, International Workshop, FIDJI 2002, Luxembourg, November 2002. LNCS 2604, 2003, 99-110.

Generating Pattern-Based Application Development Environment for Enterprise JavaBeans
Hammouda I., Koskimies K.: Generating Pattern-Based Application Development Environment for Enterprise JavaBeans. In: Proceedings of the 26th Annual International Computer Software and Applications Conference, COMPSAC 2002. (PDF)

A Pattern-Based J2EE Application Development Environment
Hammouda I., Koskimies K.: 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. (PDF)

Feature Models, Pattern Languages and Software Patterns - Towards a Unified Approach
Hakala M.: 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. (PDF)

Generating Pattern-Based Documentation for Application Frameworks
Hakala M., Hautamäki J., Koskimies K., Savolainen P.: 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. (PDF)

Creating Framework Specialization Instructions for Tool Environments
Viljamaa A., Viljamaa J.: 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. (PDF)

Generating application development environments for Java frameworks
Hakala M., Hautamäki J., Koskimies K., Paakki J., Viljamaa A., Viljamaa J.: Generating application development environments for Java frameworks. In: Proceedings of the 3rd International Conference on Generative and Component-Based Software Engineering (GCSE'01), Erfurt, Germany, September 2001, Springer, LNCS2186, 163-176. (PDF)

Annotating Reusable Software Architectures with Specialization Patterns
Hakala M., Hautamäki J., Koskimies K., Paakki J., Viljamaa A., Viljamaa J.: Annotating Reusable Software Architectures with Specialization Patterns. In: Proceedings of the Working IEEE/IFIP Conference on Software Architecture (WICSA'01), Amsterdam, August 2001, 171-180. (PDF)

Architecture-oriented programming using FRED
Hakala M., Hautamäki J., Koskimies K., Paakki J., Viljamaa A., Viljamaa J.: Architecture-oriented programming using FRED. Proc. ICSE 2001, Toronto, May 2001, 823-824 (Formal research demo).

Task-Based Tool Support for Framework Specialization
Hakala M.: Task-Based Tool Support for Framework Specialization. In: Proceedings of OOPSLA'00 Workshop on Methods and Tools for Framework Development and Specialization, Tampere University of Technology, Software Systems Laboratory, Report 21, October 2000. (PDF)

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

Rearchitecting Legacy Systems - Concepts and Case Study.
Pree W., Koskimies K.: Rearchitecting Legacy Systems - Concepts and Case Study. In: Software Architecture (P. Donohoe, ed.), Kluwer Academic Publishers, 1999, 51-64.

Task-Driven Framework Specialization.
Hakala M., Hautamäki J., Tuomi J., Viljamaa A., Viljamaa J., Koskimies K., Paakki J.: Task-Driven Framework Specialization. In: Software Technology, Fenno-Ugric Symposium (ed. J. Penjam), Institute of Cybernetics, Tallinn Technical University, August 1999, 65-74.

Managing Object-Oriented Frameworks with Specialization Templates.
Hakala M., Hautamäki J., Tuomi J., Viljamaa A., Viljamaa J.: Managing Object-Oriented Frameworks with Specialization Templates. In: Workshop on Object Technology for Product-Line Architectures. European Software Institute, Spain, 1999, 87-98.

Pattern-Oriented Framework Engineering Using FRED.
Hakala M., Hautamäki J., Tuomi J., Viljamaa A., Viljamaa J.: Pattern-Oriented Framework Engineering Using FRED. In: Object-Oriented Technology, Springer LNCS 1543, 1998, 105-109.

A Language Implementation Framework in Java.
Harsu M., Hautamäki J., Koskimies K.: A Language Implementation Framework in Java. In: Object-Oriented Technology, Springer LNCS 1357, 1997, 141-144.

Towards a Framework for Developing Processors for Visual Languages.
Tuovinen A.-P.: Towards a Framework for Developing Processors for Visual Languages. In: Object-Oriented Technology, Springer LNCS 1357, 1997, 119-122.

Technical Reports

Pattern-Based Tool Support for Frameworks: Towards Architecture-Oriented Software Development Environment.
Hautamäki J.: Pattern-Based Tool Support for Frameworks: Towards Architecture-Oriented Software Development Environment. Ph.D. Thesis, Tampere University of Technology, Publication 521, 2005. (PDF)

Ohjelmistokehysten erikoistamistutoriaalit Fred-ympäristössä.
Savolainen P.: Ohjelmistokehysten erikoistamistutoriaalit Fred-ympäristössä. Diplomityö, Tietotekniikan osasto, Tampereen teknillinen yliopisto, helmikuu 2003. (PDF)

Automatic Extraction of Framework Specialization Patterns.
Viljamaa J.: Automatic Extraction of Framework Specialization Patterns. Licentiate thesis, Report C-2002-47, Department of Computer Science, University of Helsinki, September 2002. (PDF)

Task-Driven Framework Specialization - Goal-Oriented Approach.
Hautamäki J.: Task-Driven Framework Specialization - Goal-Oriented Approach. Licentiate thesis, Report A-2002-9, Department of Computer and Information Sciences, University of Tampere, 2002. (PDF)

Pattern-Based Framework Annotation and Adaptation - A Systematic Approach.
Viljamaa A.: Pattern-Based Framework Annotation and Adaptation - A Systematic Approach. Licentiate thesis, Department of Computer Science, University of Helsinki, June 2001. (compressed doc)

Java and Internet Security.
Viljamaa A., Viljamaa J: Java and Internet Security. Report C-1998-45, Department of Computer Science, University of Helsinki, 1998.

Design of a Java Framework Engineering Tool.
Hakala M., Hautamäki J., Tuomi J., Viljamaa A., Viljamaa J.: Design of a Java Framework Engineering Tool. Report A-1997-12, Department of Computer Science, University of Tampere, 1997.

Four Example Frameworks in Java.
Hautamäki J., Tuomi J., Viljamaa A., Viljamaa J.: Four Example Frameworks in Java. Report B-1997-6, Department of Computer Science, University of Tampere, 1997.

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

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

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