Klaas van den Berg

According to our database1, Klaas van den Berg authored at least 31 papers between 1993 and 2016.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2016
A Rule-Based Change Impact Analysis Approach in Software Architecture for Requirements Changes.
CoRR, 2016

A rule-based approach for evolution of AADL models based on changes in functional requirements.
Proceedings of the Proccedings of the 10th European Conference on Software Architecture Workshops, Copenhagen, Denmark, November 28, 2016

2014
Generation and validation of traces between requirements and architecture based on formal trace semantics.
J. Syst. Softw., 2014

Change impact analysis for requirements: A metamodeling approach.
Inf. Softw. Technol., 2014

Experimental evaluation of a tool for change impact prediction in requirements models: Design, results, and lessons learned.
Proceedings of the IEEE 4th International Model-Driven Requirements Engineering Workshop, 2014

2013
Vibes: A visual language for specifying behavioral requirements of algorithms.
J. Vis. Lang. Comput., 2013

2011
Semantics of trace relations in requirements models for consistency checking and inferencing.
Softw. Syst. Model., 2011

2010
Mining early aspects based on syntactical and dependency analyses.
Sci. Comput. Program., 2010

Tool support for generation and validation of traces between requirements and architecture.
Proceedings of the 6th ECMFA Traceability Workshop, 2010

2009
Experimental evaluation of a tool for the verification and transformation of source code in event-driven systems.
Empir. Softw. Eng., 2009

2008
Analysis of Modularity by an Aspect-Oriented Measurement Process.
Proceedings of the XIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2008), 2008

A Metamodeling Approach for Reasoning about Requirements.
Proceedings of the Model Driven Architecture, 2008

2007
Analysis of Crosscutting in Early Software Development Phases Based on Traceability.
LNCS Trans. Aspect Oriented Softw. Dev., 2007

Rule-based modularization in model transformation languages illustrated with ATL.
Sci. Comput. Program., 2007

2006
Evaluation of rule-based modularization in model transformation languages illustrated with ATL.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Disentangling Crosscutting in AOSD: Formalization based on a Crosscutting Pattern.
Proceedings of the XI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2006), 2006

2005
Building adaptable and reusable XML applications with model transformations.
Proceedings of the 14th international conference on World Wide Web, 2005

2004
MISTRAL: A Language for Model Transformations in the MOF Meta-modeling Architecture.
Proceedings of the Model Driven Architecture, 2004

2003
UML to XML-Schema Transformation: a Case Study in Managing Alternative Model Transformations in MDA.
Proceedings of the Forum on specification and Design Languages, 2003

Model driven architecture based XML processing.
Proceedings of the 2003 ACM Symposium on Document Engineering, 2003

1999
Control-flow semantics of use cases in UML.
Inf. Softw. Technol., 1999

Is It Feasable to Construct a Semantics for All of UML? What Are the Outstanding Issues?
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1998
Software Quality in the Objectory Process.
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

1997
Modeling Software Processes and Artifacts: Introduction to the ECOOP'97 Workshop.
Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

Active Software Artifacts.
Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

1996
Musical Equational Programs: A Functional Approach.
ACM SIGPLAN Notices, 1996

Programmers' performance on structured versus nonstructured function definitions.
Inf. Softw. Technol., 1996

1995
Static analysis of functional programs.
Inf. Softw. Technol., 1995

1994
Axiomatic testing of structure metrics.
Proceedings of the 1994 IEEE 2nd International Software Metrics Symposium, 1994

1993
Teaching Functional Programming to First-Year Students.
J. Funct. Program., 1993

Validation of structure metrics: a case study.
Proceedings of the First International Software Metrics Symposium, 1993


  Loading...