If you made any changes in Pure, your changes will be visible here soon.

Research Output 1991 2018

2018

Contract discovery from black-box components

Sharma, V., Byun, T., McCamant, S. A., Rayadurgam, S. & Heimdahl, M., Nov 9 2018, WASPI 2018 - Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference, Co-located with FSE 2018. Honavar, V., Nguyen, T. N., Leavens, G. T., Dyer, R., Rajan, H. & Nguyen, H. A. (eds.). Association for Computing Machinery, Inc, p. 5-8 4 p. (WASPI 2018 - Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference, Co-located with FSE 2018).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Static analysis
Dynamic analysis
Systems analysis
2017
4 Citations (Scopus)

Architectural modeling and analysis for safety engineering

Stewart, D., Whalen, M. W., Cofer, D. & Heimdahl, M., Jan 1 2017, Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Proceedings. Bozzano, M. & Papadopoulos, Y. (eds.). Springer- Verlag, p. 97-111 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10437 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Safety engineering
Security systems
Safety
Engineering
Braking
2 Citations (Scopus)

Automated Steering of Model-Based Test Oracles to Admit Real Program Behaviors

Gay, G., Rayadurgam, S. & Heimdahl, M., Jun 1 2017, In : IEEE Transactions on Software Engineering. 43, 6, p. 531-555 25 p.

Research output: Contribution to journalArticle

Testing
Acceptance tests
Real time systems
Embedded systems
Sensors
1 Citation (Scopus)

Discovering instructions for robust binary-level coverage criteria

Sharma, V. B., Byun, T. J., McCamant, S. A., Rayadurgam, S. & Heimdahl, M., Jul 13 2017, TECPS 2017 - Proceedings of the 1st ACM SIGSOFT International Workshop on Testing Embedded and Cyber-Physical Systems, co-located with ISSTA 2017. Yu, T. & Marinov, D. (eds.). Association for Computing Machinery, Inc, p. 1-4 4 p. (TECPS 2017 - Proceedings of the 1st ACM SIGSOFT International Workshop on Testing Embedded and Cyber-Physical Systems, co-located with ISSTA 2017).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

coverage
instruction
ability

Domain modeling for development process simulation

De Silva, I. J., Rayadurgam, S. & Heimdahl, M., Jul 5 2017, ICSSP 2017 - Proceedings of the 2017 International Conference on Software and System Process. Bendraou, R., Maggi, F. M., Raffo, D. & LiGuo, H. (eds.). Association for Computing Machinery, p. 95-99 5 p. (ACM International Conference Proceeding Series; vol. Part F128767).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Planning
Software agents
Decision making
Decomposition

From requirements to code: Model based development of a medical cyber physical system

Murugesan, A., Heimdahl, M. P. E., Whalen, M. W., Rayadurgam, S., Komp, J., Duan, L., Kim, B. G., Sokolsky, O. & Lee, I., Jan 1 2017, Software Engineering in Health Care - 4th International Symposium, FHIES 2014 and 6th International Workshop, SEHC 2014, Revised Selected Papers. Huhn, M. & Williams, L. (eds.). Springer- Verlag, p. 96-112 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9062 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Model-based
Requirements
Health care
Software engineering
Pumps
2 Citations (Scopus)

Proof-based coverage metrics for formal verification

Ghassabani, E., Gacek, A., Whalen, M. W., Heimdahl, M. & Wagner, L., Nov 20 2017, ASE 2017 - Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering. Nguyen, T. N., Rosu, G. & Di Penta, M. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 194-199 6 p. 8115632. (ASE 2017 - Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Formal Verification
Coverage
Metric
Mutation
Necessary
1 Citation (Scopus)

Reasoning about confidence and uncertainty in assurance cases: A survey

Duan, L., Rayadurgam, S., Heimdahl, M. P. E., Ayoub, A., Sokolsky, O. & Lee, I., Jan 1 2017, Software Engineering in Health Care - 4th International Symposium, FHIES 2014 and 6th International Workshop, SEHC 2014, Revised Selected Papers. Huhn, M. & Williams, L. (eds.). Springer- Verlag, p. 64-80 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9062 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Confidence
Reasoning
Uncertainty
Software System
Eliminate
2 Citations (Scopus)

Toward Rigorous Object-Code Coverage Criteria

Byun, T. J., Sharma, V. B., Rayadurgam, S., McCamant, S. A. & Heimdahl, M., Nov 14 2017, Proceedings - 2017 IEEE 28th International Symposium on Software Reliability Engineering, ISSRE 2017. IEEE Computer Society, p. 328-338 11 p. 8109098. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE; vol. 2017-October).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Computer programming languages
Semantics
Control systems
Testing
2016
5 Citations (Scopus)

Complete Traceability for Requirements in Satisfaction Arguments

Murugesan, A., Whalen, M. W., Ghassabani, E. & Heimdahl, M., Dec 2 2016, Proceedings - 2016 IEEE 24th International Requirements Engineering Conference, RE 2016. Institute of Electrical and Electronics Engineers Inc., p. 359-364 6 p. 7765544. (Proceedings - 2016 IEEE 24th International Requirements Engineering Conference, RE 2016).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Traceability
2 Citations (Scopus)

Efficient observability-based test generation by dynamic symbolic execution

You, D., Rayadurgam, S., Whalen, M. W., Heimdahl, M. & Gay, G., Jan 13 2016, 2015 IEEE 26th International Symposium on Software Reliability Engineering, ISSRE 2015. Institute of Electrical and Electronics Engineers Inc., p. 228-238 11 p. 7381816. (2015 IEEE 26th International Symposium on Software Reliability Engineering, ISSRE 2015).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Observability
Avionics

Executing model-based tests on platform-specific implementations

You, D., Rayadurgam, S., Heimdahl, M., Komp, J., Kim, B. & Sokolsky, O., Jan 4 2016, Proceedings - 2015 30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015. Institute of Electrical and Electronics Engineers Inc., p. 418-428 11 p. 7372030. (Proceedings - 2015 30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Testing
Real time systems
Embedded systems
4 Citations (Scopus)

First steps towards exporting education: Software engineering education delivered online to professionals

Wendt, K. D., Reily, K. & Heimdahl, M., May 19 2016, Proceedings - 2016 IEEE 29th Conference on Software Engineering Education and Training, CSEEandT 2016. Institute of Electrical and Electronics Engineers Inc., p. 241-245 5 p. 7474491

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Engineering education
Software engineering
Education
engineering
Software design
5 Citations (Scopus)

Representation of Confidence in Assurance Cases Using the Beta Distribution

Duan, L., Rayadurgam, S., Heimdahl, M., Sokolsky, O. & Lee, I., Mar 1 2016, Proceedings - 17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016. Babiceanu, R., Waeselynck, H., Xu, J., Paul, R. A. & Cukic, B. (eds.). IEEE Computer Society, p. 86-93 8 p. 7423138. (Proceedings of IEEE International Symposium on High Assurance Systems Engineering; vol. 2016-March).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Probability distributions
Visualization
13 Citations (Scopus)
Model structures
Testing
Avionics
Economics
Costs
2015
3 Citations (Scopus)

A reference model for simulating agile processes

De Silva, I. J., Rayadurgam, S. & Heimdahl, M., Aug 24 2015, 2015 International Conference on Software and Systems Process, ICSSP 2015 - Proceedings. Association for Computing Machinery, p. 82-91 10 p. (ACM International Conference Proceeding Series; vol. 24-26-August-2015).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Simulators
Costs
4 Citations (Scopus)

Are we there yet? Determining the adequacy of formalized requirements and test suites

Murugesan, A., Whalen, M. W., Rungta, N., Tkachuk, O., Person, S., Heimdahl, M. & You, D., Jan 1 2015, NASA Formal Methods - 7th International Symposium, NFM 2015, Proceedings. Havelund, K., Holzmann, G. & Joshi, R. (eds.). Springer- Verlag, p. 279-294 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9058).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Coverage
Engineers
Requirements
Safety-critical Systems
Simulink
9 Citations (Scopus)

Automated Oracle Data Selection Support

Gay, G., Staats, M., Whalen, M. W. & Heimdahl, M., Nov 1 2015, In : IEEE Transactions on Software Engineering. 41, 11, p. 1119-1137 19 p., 7112189.

Research output: Contribution to journalArticle

Testing
Costs
1 Citation (Scopus)

Design considerations for modeling modes in cyber-physical systems

Murugesan, A., Rayadurgam, S., Whalen, M. W. & Heimdahl, M., Jan 1 2015, In : IEEE Design and Test. 32, 5, p. 66-73 8 p., 7172459.

Research output: Contribution to journalArticle

Drug infusion
Thyristors
Cyber Physical System
1 Citation (Scopus)

Hierarchical multi-formalism proofs of cyber-physical systems

Whalen, M. W., Rayadurgam, S., Ghassabani, E., Murugesan, A., Sokolsky, O., Heimdahl, M. & Lee, I., Nov 30 2015, 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015. Institute of Electrical and Electronics Engineers Inc., p. 90-95 6 p. 7340474. (2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Embedded software
Scalability
Semantics
Cyber Physical System
5 Citations (Scopus)

Representing confidence in assurance case evidence

Duan, L., Rayadurgam, S., Heimdahl, M. P. E., Sokolsky, O. & Lee, I., Jan 1 2015, Computer Safety, Reliability, and Security - AFECOMP 2015 Workshops ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Proceedings. van Gulijk, C. & Koornneef, F. (eds.). Springer- Verlag, p. 15-26 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9338).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Normal distribution
Confidence
Beta distribution
Duality
Truncated Distributions
36 Citations (Scopus)

The risks of coverage-directed test case generation

Gay, G., Staats, M., Whalen, M. W. & Heimdahl, M., Aug 1 2015, In : IEEE Transactions on Software Engineering. 41, 8, p. 803-819 17 p., 7081779.

Research output: Contribution to journalArticle

Fault detection
Avionics
Automation
Testing
2014
2 Citations (Scopus)

Analysis and testing of PLEXIL plans

Biatek, J., Whalen, M. W., Heimdahl, M., Rayadurgam, S. & Lowry, M. R., Jun 3 2014, 2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014 - Proceedings. Association for Computing Machinery, Inc, p. 52-58 7 p. (2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014 - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Testing
Semantics
Planning
Space applications
NASA

Exploring the twin peaks using probabilistic verification techniques

Murugesan, A., Rayadurgam, S., Feng, L., Whalen, M. W., Heimdahl, M. P. E. & Lee, I., Jun 1 2014, 4th International Workshop on the Twin Peaks of Requirements and Architecture, TwinPeaks 2014 - Proceedings. Association for Computing Machinery, Inc, p. 18-23 6 p. (4th International Workshop on the Twin Peaks of Requirements and Architecture, TwinPeaks 2014 - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

Improving the accuracy of oracle verdicts through automated model steering

Gay, G., Rayadurgam, S. & Heimdahl, M., Jan 1 2014, ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering. Association for Computing Machinery, Inc, p. 527-537 11 p. (ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Acceptance tests
Real time systems
Embedded systems
Sensors
Testing
6 Citations (Scopus)

Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety

Murugesan, A., Sokolsky, O., Rayadurgam, S., Whalen, M. W., Heimdahl, M. & Lee, I., Jan 1 2014, 2014 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2014. IEEE Computer Society, p. 139-150 12 p. 6843718. (2014 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2014).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Concretes
Specifications
Cyber Physical System
4 Citations (Scopus)

Moving the goalposts: Coverage satisfaction is not enough

Gay, G., Staats, M., Whalen, M. W. & Heimdahl, M., Jun 2 2014, 7th International Workshop on Search-Based Software Testing, SBST 2014 - Proceedings. Association for Computing Machinery, Inc, p. 19-22 4 p. (7th International Workshop on Search-Based Software Testing, SBST 2014 - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fault detection
Testing
2 Citations (Scopus)

Steering model-based oracles to admit real program behaviors

Gay, G., Rayadurgam, S. & Heimdahl, M., Jan 1 2014, 36th International Conference on Software Engineering, ICSE Companion 2014 - Proceedings. Association for Computing Machinery, p. 428-431 4 p. (36th International Conference on Software Engineering, ICSE Companion 2014 - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Acceptance tests
Real time systems
Embedded systems
Sensors
Testing
7 Citations (Scopus)

Structuring Simulink models for verification and reuse

Whalen, M. W., Murugesan, A., Rayadurgam, S. & Heimdahl, M., Jun 2 2014, 6th International Workshop on Modeling in Software Engineering, MiSE 2014 - Proceedings. Association for Computing Machinery, Inc, p. 19-24 6 p. (6th International Workshop on Modeling in Software Engineering, MiSE 2014 - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Software engineering
Pumps
Testing
Code generation
Cyber Physical System
2013
30 Citations (Scopus)

Compositional verification of a medical device system

Murugesan, A., Whalen, M. W., Rayadurgam, S. & Heimdahl, M., Dec 11 2013, HILT 2013 - Proceedings of the ACM Conference on High Integrity Language Technology. p. 51-64 14 p. (HILT 2013 - Proceedings of the ACM Conference on High Integrity Language Technology).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Large scale systems
Decomposition
Chemical analysis

Efficient Test Coverage Measurement for MC/DC

Whalen, M. W., Heimdahl, M. P. E. & De Silva, I. J., 2013.

Research output: Working paper

12 Citations (Scopus)

Modeling and requirements on the physical side of cyber-physical systems

Heimdahl, M., Duan, L., Murugesan, A. & Rayadurgam, S., Nov 4 2013, 2013 2nd International Workshop on the Twin Peaks of Requirements and Architecture, TwinPeaks 2013 - Proceedings. p. 1-7 7 p. 6614716

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Requirements engineering
Cyber Physical System
10 Citations (Scopus)

Modes, features, and state-based modeling for clarity and flexibility

Murugesan, A., Rayadurgam, S. & Heimdahl, M., Dec 1 2013, 2013 5th International Workshop on Modeling in Software Engineering, MiSE 2013 - Proceedings. p. 13-17 5 p. 6595290

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Large scale systems
Pumps
26 Citations (Scopus)

Observable modified condition/decision coverage

Whalen, M. W., Gay, G., You, D., Heimdahl, M. & Staats, M., Oct 30 2013, 2013 35th International Conference on Software Engineering, ICSE 2013 - Proceedings. p. 102-111 10 p. 6606556. (Proceedings - International Conference on Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Avionics
Observability
Microwaves

SEHC 2013-5th International Workshop on Software Engineering in Health Care (SEHC)

Knight, J., Kuziemsky, C., Ammenwerth, E., Avrunin, G., Chapman, R., Hatcliff, J., Heimdahl, M., Larson, B., Loques, O., Malin, B., Lee, O., Paech, B., Paul, N., Peyton, L., Podgurski, A., Reiss, J., Sartipi, K., Stroulia, E., Sullivan, K., Weber, J. & 6 others, Weinstock, C., Wassyng, A., Baldassarre, M., Keen, J., McHugh, M. & Williams, J., Oct 15 2013, In : 2013 5th International Workshop on Software Engineering in Health Care, SEHC 2013 - Proceedings. 6602468.

Research output: Contribution to journalEditorial

Health care
Software engineering
Software
Delivery of Health Care
Education
38 Citations (Scopus)

Your 'what' is my 'how': Iteration and hierarchy in system design

Whalen, M. W., Gacek, A., Cofer, D., Murugesan, A., Heimdahl, M. & Rayadurgam, S., Jun 28 2013, In : IEEE Software. 30, 2, p. 54-60 7 p., 6359702.

Research output: Contribution to journalArticle

Architectural design
Systems analysis
Hierarchical systems
Availability
Specifications
2012
43 Citations (Scopus)

Automated oracle creation support, or: How I learned to stop worrying about fault propagation and love mutation testing

Staats, M., Gay, G. & Heimdahl, M., Jul 30 2012, Proceedings - 34th International Conference on Software Engineering, ICSE 2012. p. 870-880 11 p. 6227132. (Proceedings - International Conference on Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Testing
Costs
Experiments

Message from the chairs

Heimdahl, M. & Su, Z., Aug 28 2012, In : 2012 International Symposium on Software Testing and Analysis, ISSTA 2012 - Proceedings.

Research output: Contribution to journalEditorial

Message from the chairs

Sawyer, P., Heimdahl, M., Hayes, J. & Gorschek, T., Dec 12 2012, In : 2012 20th IEEE International Requirements Engineering Conference, RE 2012 - Proceedings. 6345789.

Research output: Contribution to journalEditorial

37 Citations (Scopus)

On the danger of coverage directed test case generation

Staats, M., Gay, G., Whalen, M. W. & Heimdahl, M., Apr 3 2012, Fundamental Approaches to Software Engineering - 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Proceedings. p. 409-424 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7212 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Avionics
Test Generation
Coverage
Automation
Random Generation
21 Citations (Scopus)

Trace queries for safety requirements in high assurance systems

Cleland-Huang, J., Heimdahl, M., Huffman Hayes, J., Lutz, R. & Maeder, P., Mar 21 2012, Requirements Engineering: Foundation for Software Quality - 18th International Working Conference, REFSQ 2012, Proceedings. p. 179-193 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7195 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Traceability
Safety
Trace
Query
Requirements
4 Citations (Scopus)

Your what is my how: Why requirements and architectural design should be iterative

Whalen, M. W., Murugesan, A. & Heimdahl, M., Dec 14 2012, 2012 1st IEEE International Workshop on the Twin Peaks of Requirements and Architecture, TwinPeaks 2012 - Proceedings. p. 36-40 5 p. 6344559. (2012 1st IEEE International Workshop on the Twin Peaks of Requirements and Architecture, TwinPeaks 2012 - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Architectural design
Hierarchical systems
Availability
Decomposition
Specifications
2011
14 Citations (Scopus)

Better testing through oracle selection (NIER track)

Staats, M., Whalen, M. W. & Heimdahl, M., Jul 7 2011, ICSE 2011 - 33rd International Conference on Software Engineering, Proceedings of the Conference. p. 892-895 4 p. (Proceedings - International Conference on Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Testing
Software testing
12 Citations (Scopus)

Challenges in the regulatory approval of medical cyber-physical systems

Sokolsky, O., Lee, I. & Heimdahl, M., Nov 9 2011, Embedded Systems Week 2011, ESWEEK 2011 - Proceedings of the 9th ACM International Conference on Embedded Software, EMSOFT'11. p. 227-232 6 p. (Embedded Systems Week 2011, ESWEEK 2011 - Proceedings of the 9th ACM International Conference on Embedded Software, EMSOFT'11).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Cyber Physical System

Guest editorial: Special issue on selected topics in automated software engineering specification mining and defect detection

Heimdahl, M. & Taentzer, G., Dec 1 2011, In : Automated Software Engineering. 18, 3-4, p. 225-226 2 p.

Research output: Contribution to journalEditorial

Software engineering
Specifications
Defect detection
60 Citations (Scopus)

Programs, tests, and oracles: The foundations of testing revisited

Staats, M., Whalen, M. W. & Heimdahl, M., Jul 7 2011, ICSE 2011 - 33rd International Conference on Software Engineering, Proceedings of the Conference. p. 391-400 10 p. (Proceedings - International Conference on Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Testing
Software testing
2010

Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness

Staats, M., Whalen, M. W., Rajan, A. & Heimdahl, M. P. E., Apr 1 2010, Proceedings of the Second NASA Formal Methods Symposium. NASA

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2009
8 Citations (Scopus)

A Software Certification Consortium and its Top 9 Hurdles

Hatcliff, J., Heimdahl, M., Lawford, M., Maibaum, T., Wassyng, A. & Wurden, F., Sep 28 2009, In : Electronic Notes in Theoretical Computer Science. 238, 4, p. 11-17 7 p.

Research output: Contribution to journalArticle

Certification
Software
Industry
Voting
Regulator
1 Citation (Scopus)

Flexibility in modeling languages and tools: A call to arms

Van Wyk, E. & Heimdahl, M., Apr 15 2009, In : International Journal on Software Tools for Technology Transfer. 11, 3, p. 203-215 13 p.

Research output: Contribution to journalArticle

Software engineering
Processing
Technology transfer
Modeling languages
Automation

Foreword

Grundy, J., Heimdahl, M. & Taentzer, G., Dec 1 2009, In : ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering. 5431692.

Research output: Contribution to journalEditorial