Home
Publications
In the News

Events

GTTSE 2009
SQM 2009

Tools

2LT
CoddFish
XsdMetz
SdfMetz
MatchO

Strafunski

Related

Software Product Certification
Research at SIG


TFM Seminar
TFM group pages
PURé Café
PURe Project






www.flickr.com
This is a Flickr badge showing public photos from JstVssr. Make your own badge here.

Publications

Google Scholar (author profile) / DBLP: Trier, SigMod / CSB / Researchr / MS academic search / Arnetminer / Mendeley
See also scientific publications by SIG.
When new publications appear, I tend to announce them on twitter.

2012

  • For newer publication, see my new homepage at Radboud University Nijmegen.

  • Jelle de Groot, Ariadi Nugroho, Thomas Bäck, and Joost Visser, What is the value of your software?, In proceedings of the Third International Workshop on Managing Technical Debt (MTD 2012), 2012. SIG

  • Aigerim Issabayeva, Ariadi Nugroho, and Joost Visser, Issue Handling Performance in Proprietary Software Projects, In proceedings of the 9th Working Conference on Mining Software Repositories (MSR 2012), 2012. SIG

  • Andrzej Olszak, Eric Bouwers, Bo Nørregaard Jørgensen, and Joost Visser, Detection of Seed Methods for Quantification of Feature Confinement, In proceedings of the 50th International Conference on Objects, Models, Components, Patterns (TOOLS Europe 2012), 2012. SIG

  • Steven Raemaekers, Arie van Deursen, and Joost Visser, An Analysis of Dependence on Third-party Libraries in Open Source and Proprietary Systems, in proceedings of the Sixth International Workshop on Software Quality and Maintainability (SQM 2012), 2012. SIG

  • Joost Visser, Change is the Constant, keynote article in ERCIM News 88, special issue on Evolving Software, January 2012.

2011

  • Eric Bouwers and Joost Visser, Continuous Architecture Evaluation, Abstract of presentation at the 10th BElgian-NEtherlands software eVOLution seminar (BENEVOL 2011). PDF

  • Joost Visser, Improving Software Quality with Clear, Standards-Based Metrics webinar, IT Metrics & Productivity Institute (ITMPI), Computer Aid, November 2011.

  • Tiago L. Alves, José Pedro Correia, and Joost Visser, Benchmark-based Aggregation of Metrics to Ratings, In Proceedings of the Joint Conference of the 21th International Workshop on Software Measurement (IWSM) and the 6th International Conference on Software Process and Product Measurement (Mensura), pp20-29, IEEE Computer Society, 2011. SIG DOI

  • Eric Bouwers, Arie van Deursen, and Joost Visser, Dependency Profiles for Software Architecture Evaluations, In proceedings of the 27th IEEE International Conference on Software Maintenance (ICSM 2011), p540-543, IEEE, 2011. DOI TR SIG

  • Eric Bouwers, José Pedro Correia, Arie van Deursen, and Joost Visser, Quantifying the Analyzability of Software Architectures, in proceedings of the 9th Working IEEE/IFIP Conference on Software Architecture (WICSA 2011), pp. 83-92,IEEE Computer Society, 2011. SIG DOI

  • Ariadi Nugroho, Tobias Kuipers, and Joost Visser, An Empirical Model of Technical Debt and Interest, in proceedings of the 2nd International Workshop on Managing Technical Debt (MTD 2011), pages 1-8, ACM, 2011. SIG DOI

  • Dennis Bijlsma, Miguel Ferreira, Bart Luijten, and Joost Visser, Faster Issue Resolution with Higher Technical Quality of Software, Software Quality Journal, 2011. DOI

  • Robert Baggen, José Pedro Correia, Katrin Schill, and Joost Visser, Standardized Code Quality Benchmarking for Improving Software Maintainability, Software Quality Journal, 2011. DOI

  • Jácome Cunha, Joost Visser, Tiago Alves, and João Saraiva, Type-safe Evolution of Spreadsheets, In proceedings of the 14th international conference on Fundamental Approaches to Software Engineering (FASE 2011), Lecture Notes in Computer Science, Volume 6603, pp 186-201, Springer, 2011. DOI PDF

  • Generative and Transformational Techniques in Software Engineering III, International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers, editors: João M. Fernandes, Ralf Lämmel, Joost Visser and João Saraiva, Lecture Notes in Computer Science, Volume 6491, 2011. DOI ebook

2010

  • Tiago Alves, Christiaan Ypma, and Joost Visser, Deriving Metric Thresholds from Benchmark Data, In proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), September 12-18, 2010, Timișoara, Romania, IEEE Computer Society, 2010. PDF SIG DOI

  • Bart Luijten, Joost Visser, and Andy Zaidman (TU Delft), Assessment of Issue Handling Efficiency, In proceedings of the 7th IEEE Working Conference on Mining Software Repositories (MSR 2010), May 2-3, 2010, Cape Town, South Africa, pages 94-97, IEEE Computer Society, 2010. PDF SIG DOI

  • Bart Luijten and Joost Visser, Faster Defect Resolution with Higher Technical Quality of Software, In proceedings of the 4th International Workshop on Software Quality and Maintainability (SQM 2010), March 15, 2010, Madrid, Spain, 2010. PDF SIG

  • Robert Baggen, Katrin Schill, and Joost Visser, Standardized Code Quality Benchmarking for Improving Software Maintainability, In proceedings of the 4th International Workshop on Software Quality and Maintainability (SQM 2010), March 15, 2010, Madrid, Spain, 2010. PDF SIG

  • Eric Bouwers, Carola Lilienthal, Joost Visser, and Arie van Deursen, A Cognitive Model for Software Architecture Complexity, In Proceedings of the 18th International Conference on Program Comprehension (ICPC 2010), IEEE Computer Society, 2010. TR DOI

  • Alcino Cunha and Joost Visser, Transformation of Structure-Shy Programs with Application to XPath Queries and Strategic Functions, In Science of Computer Programming, Volume 76, Issue 6, 1 June 2011, Pages 516-539, Special issue on Partial Evaluation and Program Manipulation (selected paper of PEPM 2007), Elsevier, 2010. DOI

2009

  • Jácome Cunha, João Saraiva, and Joost Visser, Discovery-based Edit Assistance for Spreadsheets, In proceedings of 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2009), pages 233-237, IEEE Computer Society, 2009. DOI

  • Paulo F. Silva, Joost Visser, and José N. Oliveira, Galois: A Language for Proofs Using Galois Connections and Fork Algebras, In proceedings of the ACM SIGSAM 2009 International Workshop on Programming Languages for Mechanized Mathematics Systems (PLMMS 2009), to appear, 2009. PDF

  • Tiago L. Alves and Joost Visser, Static Estimation of Test Coverage, In proceedings of the Ninth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2009), pages 55-64, IEEE Computer Society, 2009. DOI SIG

  • Jose Pedro Correia, Yiannis Kanellopoulos, and Joost Visser, A Survey-based Study of the Mapping of System Properties to ISO/IEC 9126 Maintainability Characteristics, In proceedings of the 25th IEEE International Conference on Software Maintenance (ICSM 2009), pages 61-70, IEEE Computer Society, 2009. DOI SIG

  • Eric Bouwers, Joost Visser, and Arie van Deursen, Criteria for the Evaluation of Implemented Architectures, In proceedings of the 25th IEEE International Conference on Software Maintenance (ICSM 2009), pages 73-82, IEEE Computer Society, 2009. DOI SIG

  • José Pedro Correia, Yiannis Kanellopoulos, and Joost Visser, Mapping System Properties to ISO/IEC 9126 Maintainability Characteristics, In the Third International Workshop on Software Quality and Maintainability (SQM 2009), to appear.

  • Christos Tjortjis and Joost Visser: 3rd International Workshop on Software Quality and Maintainability. In proceedings of the 13th European Conference on Software Maintenance and Reengineering (CSMR 2009), pages 271-272, IEEE, 2009. DOI

  • Jácome Cunha, João Saraiva, and Joost Visser, From Spreadsheets to Relational Databases and Back, In proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation (PEPM 2009), pages 179-188, ACM, 2009. DOI

2008

  • Tiago L. Alves and Joost Visser, A Case Study in Grammar Engineering, In proceedings of the 1st International Conference on Software Language Engineering (SLE 2008), pages 285-304, Lecture Notes in Computer Science 5452, Springer, 2008. DOI SIG

  • Thomas Dean and Joost Visser, Industrial Realities of Program Comprehension (IRPC 2008), In proceedings of the 16th IEEE International Conference on Program Comprehension (ICPC 2008), pp. 283-284, IEEE Computer Society Press, 2008 DOI

  • José Pedro Correia and Joost Visser, Benchmarking Technical Quality of Software Products, In proceedings of the 15th Working Conference on Reverse Engineering (WCRE 2008), pages 297-300, IEEE Computer Society Press, 2008. DOI SIG

  • José Pedro Correia and Joost Visser, Certification of Technical Quality of Software, In Proceedings of the 2nd International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2008), satellite event of the 4th International Conference on Open Source Systems (OSS 2008), Research Report 398, pages 35-51, United Nations University – International Institute for Software Technology (UNU-IIST), 2008. PDF See also Software Product Certification by SIG and TÜViT.

  • Tiago L. Alves, Paulo F. Silva, and Joost Visser, Constraint-aware Schema Transformation, In proceedings of The Ninth International Workshop on Rule-Based Programming (Rule 2008). (PDF) SIG

  • Joost Visser, Coupled Transformation of Schemas, Documents, Queries, and Constraints, In Proceedings of the 3rd International Workshop on Automated Specification and Verification of Web Systems (WWV 2007), ENTCS, volume 200, issue 3, pages 3-23, 2008. DOI

  • Yiannis Kanellopoulos, Ilja Heitlager, Christos Tjortjis, and Joost Visser, Interpretation of Source Code Clusters in Terms of ISO/IEC-9126 Quality Characteristics, In proceedings of the 12th European Conference on Software Maintenance and Reengineering, (CSMR 2008), pages 63-72, IEEE Computer Society. DOI

  • Generative and Transformational Techniques in Software Engineering II, International Summer School, GTTSE 2007, Braga, Portugal, July 2-7. 2007, Revised Papers, Lämmel, Ralf; Visser, Joost; Saraiva, Joao (Eds.), Lecture Notes in Computer Science, Vol. 5235, 2008.

2007

  • Ilja Heitlager, Tobias Kuipers, and Joost Visser, Observing Unit Test Maturity in the Wild, Presentation abstract, 13th Dutch Testing Day 2007 (Test Dag). (PDF)

  • Ilja Heitlager, Tobias Kuipers, and Joost Visser, A Practical Model for Measuring Maintainability, In proceedings of the 6th International Conference on the Quality of Information and Communications Technology (QUATIC 2007), pages 30-39, IEEE Computer Society Press, 2007. (PDF) DOI SIG

  • Huib van den Brink, Rob van der Leek, and Joost Visser, Quality Assessment for Embedded SQL, In proceedings of the Seventh IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2007), IEEE Computer Society Press, 2007. (PDF) SIG

  • Luís Barbosa, Jácome Cunha and Joost Visser, A Type-level Approach to Component Prototyping, In SYANCO '07: International workshop on Synthesis and analysis of component connectors, pages 23-36, ACM, September, 2007. (PDF,DOI)

  • Tobias Kuipers, Joost Visser, and Gerjon de Vries, Monitoring the Quality of Outsourced Software, In proceedings of the Workshop on Tools for Managing Globally Distributed Software Development (TOMAG 2007), 2007. (PDF) SIG

  • Tobias Kuipers and Joost Visser, Maintainability Index Revisited - position paper, System Quality and Maintainability (SQM 2007), satellite of CSMR 2007. (PDF)

  • Tiago Alves and Joost Visser, SdfMetz: Extraction of Metrics and Graphs From Syntax Definitions - Tool Demonstration, In Seventh Workshop on Language Descriptions, Tools and Applications (LDTA 2007), ENTCS, to appear, 2007. (PDF)

  • Alcino Cunha and Joost Visser, Transformation of Structure-Shy Programs, Applied to XPath Queries and Strategic Functions, In Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2007, pages 11-20, ACM 2007. DOI PDF

  • Pablo Berdaguer, Alcino Cunha, Hugo Pacheco, Joost Visser. Coupled Schema Transformation and Data Conversion For XML and SQL. In M. Hanus (Ed.), PADL 2007: Practical Aspects of Declarative Languages, LNCS 4354, pp. 290-304, Springer, 2007. (PDF). This paper is supported by the 2LT library.

2006

  • Alexandra Silva and Joost Visser, Strong Types for Relational Databases (Functional Pearl). In Haskell '06: Proceedings of the 2006 ACM SIGPLAN workshop on Haskell, pp 25-36, ACM Press. pdf This paper is supported by the CoddFish library.

  • Alcino Cunha, Joost Visser. Strongly Typed Rewriting For Coupled Software Transformation. In Proceedings of the 7th International Workshop on Rule Based Programming (RULE 2006), ENTCS, Volume 174, Issue 1, April 2007, Pages 17-34. pdf This paper is supported by the 2LT library.

  • Alcino Cunha, José Nuno Oliveira, Joost Visser. Type-safe Two-level Data Transformation. In Formal Methods 2006, LNCS 4085, pp. 284-299, 2006. Springer-Verlag. pdf A preliminary version with additional material appended appeared as technical report DI-PURe-06.03.01 (see below).

  • Alcino Cunha, José Nuno Oliveira, Joost Visser. Type-safe Two-level Data Transformations -- with derecursivation and dynamic typing, Technical Report DI-PURe-06.03.01, Departamento de Informática, Universidade do Minho, March 2006. pdf This paper is supported by the 2LT library.

  • Joost Visser Structure Metrics for XML Schema. Proceedings of XATA 2006. pdf This paper is supported by the XsdMetz tool.

  • Generative and Transformational Techniques in Software Engineering, International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers, Lämmel, Ralf; Saraiva, João; Visser, Joost (Eds.), Lecture Notes in Computer Science, Vol. 4143, 2006.

2005

  • Tiago Alves and Joost Visser, Metrication of SDF Grammars. Technical Report, DI-PURe-05.05.01, Departamento de Informática, Universidade do Minho, May 2005. pdf This paper is supported by the SdfMetz tool.

  • Tiago Alves and Joost Visser, Grammar-centered Development of VDM Support. In Fitzgerald, J. S., Larsen, P. G., Plat, N. (eds.), Towards Next Generation Tools for VDM: Contributions to the First International Overture Workshop, Newcastle, July 2005, Technical Report CS-TR969, School of Computing Science, Newcastle University, June 2006. (PDF)

  • Joost Visser, J.N. Oliveira, L.S. Barbosa, J.F. Ferreira, and A. Mendes, Camila Revival: VDM meets Haskell. In Fitzgerald, J. S., Larsen, P. G., Plat, N. (eds.), Towards Next Generation Tools for VDM: Contributions to the First International Overture Workshop, Newcastle, July 2005, Technical Report CS-TR969, School of Computing Science, Newcastle University, June 2006. (PDF)

  • Tiago Alves and Joost Visser, Development of an Industrial Strength Grammar for VDM. Technical Report, DI-PURe-05.04.29, Departamento de Informática, Universidade do Minho, April 2005. pdf

  • Tiago Alves, Paulo Silva, Joost Visser, and José Nuno Oliveira. Strategic Term Rewriting And Its Application To A VDM-SL to SQL Conversion. Formal Methods 2005, Lecture Notes in Computer Science, Volume 3582, July 2005, Pages 399-414, Springer. pdf

2004

  • Tobias Kuipers en Joost Visser. Portal voor Broncodeanalyse. In Informatie, juni 2004, jaargang 46. pdf

  • João Saraiva and Joost Visser. Tutorial on Strategic Programming Across Programming Paradigms. 8th Brazilian Symposium on Programming Languages (SBLP 2004). (PDF)

  • Arie van Deursen and Joost Visser. Source Model Analysis using the JJTraveler Visitor Combinator Framework. Software Practice and Experience 34(14):1345-1379, 2004. Preliminary version: pdf

  • Tobias Kuipers and Joost Visser. A Tool-based Methodology for Software Portfolio Monitoring. International Workshop on Software Audits and Metrics (SAM 2004), April 2004, Porto, Portugal. (PDF) (slides)

  • Tobias Kuipers en Joost Visser. Evolueren met Portfoliomonitoring. In Informatie, jan-feb 2004, jaargang 46. pdf

2003

  • Ralf Lämmel, Eelco Visser, and Joost Visser. Strategic Programming Meets Adaptive Programming. In Proc. of Aspect-Oriented Software Development (AOSD'03), pages 168--177. ACM Press 2003. pdf bib

  • Joost Visser. Generic Traversal over Typed Source Code Representations. Phd thesis, University of Amsterdam, February 2003. pdf bib

  • Ralf Lämmel and Joost Visser. A Strafunski Application Letter. In PADL 2003: Practical Aspects of Declarative Languages, volume 2562 of Lecture Notes in Computer Science (LNCS), pages 357-375. Springer, January 2003. pdf bib

  • Tobias Kuipers and Joost Visser, Object-oriented tree traversal with JJForester. In Science of Computer Programming 47(1): 59-87, 2003. An earlier version appeared in ENTCS 44(2), 2001.

2002

  • Ralf Lämmel and Joost Visser. Design Patterns for Functional Strategic Programming. In Proc. of Third ACM SIGPLAN Workshop on Rule-Based Programming RULE'02, Pittsburgh, USA, October 2002. ACM Press. pdf, bib.

  • Arie van Deursen and Joost Visser. Building program understanding tools using visitor combinators. In 10th International Workshop on Program Comprehension (IWPC 2002), pages 137-146. IEEE Computer Society, 2002. pdf bib

  • Ralf Lämmel and Joost Visser. Typed combinators for generic traversal. In PADL 2002: Practical Aspects of Declarative Languages, volume 2257 of Lecture Notes in Computer Science (LNCS). Springer, 2002. pdf, bib.

  • Ralf Lämmel and Joost Visser. Strategic polymorphism requires just two combinators! In Preproceedings of IFL 2002, Implementation of Functional Languages, September 2002.

  • Merijn de Jonge and Joost Visser. Workshop on Generative Programming 2002 (GP2002), Lecture Notes in Computer Science, Volume 2319, Jan 2002, Page 331.

  • Merijn de Jonge and Joost Visser. Grammars As Feature Diagrams. Presented at the Generative Programming Workshop 2002, Austin, Texas. pdf bib

  • Arie van Deursen, Paul Klint, and Joost Visser. Domain-Specific Languages. In The Encyclopedia of Library and Information Science. Marcel Dekker Inc. 2002, pages 113-127.

  • Arie van Deursen, Paul Klint, and Joost Visser. Domain-Specific Languages. In The Encyclopedia of Microcomputers. Marcel Dekker Inc. 2002, pages 53-68.

2001

  • Joost Visser. Visitor combination and traversal control. ACM SIGPLAN Notices, 36(11):270-282, November 2001. OOPSLA 2001 Conference Proceedings: Object-Oriented Programming Systems, Languages, and Applications, Preliminary version: pdf, bib.

  • Tobias Kuipers and Joost Visser. Object-oriented tree traversal with JJForester. In Mark van den Brand and Didier Parigot, editors, Electronic Notes in Theoretical Computer Science, volume 44(2). Elsevier Science Publishers, 2001 (Proc. of Language Descriptions, Tools and Applications (LDTA 2001)). pdf, bib.

  • Mark van den Brand, Jan Heering, Hayco de Jong, Merijn de Jonge, Tobias Kuipers, Paul Klint, Leon Moonen, Pieter Olivier, Jeroen Scheerder, Jurgen Vinju, Eelco Visser, and Joost Visser. The ASF+SDF Meta-Environment: a component-based language development environment. In Compiler Construction 2001 (CC 2001), LNCS. Springer, 2001. Tool demo. pdf, bib.

  • Merijn de Jonge, Eelco Visser, and Joost Visser, Collaborative Software Development. Technical report SEN-R0113, CWI, 2001. ps.Z pdf bib

  • Merijn de Jonge, Eelco Visser, and Joost Visser. XT: a bundle of program transformation tools - system description. In Mark van den Brand and Didier Parigot, editors, Electronic Notes in Theoretical Computer Science, volume 44(2). Elsevier Science Publishers, 2001 (Proc. of Language Descriptions, Tools and Applications (LDTA 2001)). pdf, bib.

  • Merijn de Jonge and Joost Visser. XT capita selecta. In Proceedings of the Second Stratego Users Day. To appear, February 2001. pdf, bib.

2000

  • Merijn de Jonge and Joost Visser. Grammars as contracts. In Generative and Component-based Software Engineering (GCSE), volume 2177 of Lecture Notes in Computer Science (LNCS), Erfurt, Germany, October 2000. Springer. pdf, bib.

  • Ralf Laemmel, Joost Visser, and Jan Kort. Dealing with large bananas. In Johan Jeuring, editor, Workshop on Generic Programming, Ponte de Lima, July 2000. Technical Report UU-CS-2000-19, Universiteit Utrecht. pdf, bib.

  • Arie van Deursen, Paul Klint, and Joost Visser. Domain-Specific Languages - An Annotated Bibliography. ACM SIGPLAN Notices, 35(6), June 2000. Supply additions! pdf bib

  • Ralf Laemmel and Joost Visser. Type-safe functional strategies. In Scottish Functional Programming Workshop, St Andrews, July 2000. Draft Proceedings. pdf.

  • Jan Kort, Ralf Laemmel, and Joost Visser. Functional transformation systems. In 9th International Workshop on Functional and Logic Programming, Benicassim, Spain, September 2000. pdf, bib.

1999

  • Merijn de Jonge, Tobias Kuipers, and Joost Visser. HASDF: A Generalized LR-parser Generator for Haskell. Technical Report SEN-R9902, CWI, 1999. bib.

1996

  • Joost Visser, Evolving Algebras, Master's Thesis, Delft University of Technology, 1996. Archived at ASM Home. Includes an elaborate tutorial on monads and monad transformers (Chapter 9, pages 109-143) using Gofer (precursor of Haskell).

Drafts

  • Claudia Mónica Necco, José Nuno Oliveira, and Joost Visser, Extended Static Checking By Strategic Rewriting of Pointfree Relational Expressions, Draft.

For pdfs of older publications, see my old home page. Likewise for slides of old talks.


blog stats

r136 - 24 Jul 2012 - 06:03:32 - JoostVisser
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM