I agree that this site is using cookies. You can find further informations here.
X
Maibaum, Tom
48  results:
Search for persons X
?
1

Application of the General Method to the Railway Domain:

, In: On the Construction of Engineering Handbooks; SpringerBriefs in Computer Science,
Gruner, Stefan ; Kumar, Apurva ; Maibaum, Tom. - p. 41-53 , 2020
Link: https://doi.org/10.1007/..
 
?
2

Example HB Entry of a Formal Method for the Railway Domain ..:

, In: On the Construction of Engineering Handbooks; SpringerBriefs in Computer Science,
Gruner, Stefan ; Kumar, Apurva ; Maibaum, Tom. - p. 57-75 , 2020
Link: https://doi.org/10.1007/..
 
?
3

Conclusions and Prospects for Future Work:

, In: On the Construction of Engineering Handbooks; SpringerBriefs in Computer Science,
Gruner, Stefan ; Kumar, Apurva ; Maibaum, Tom. - p. 77-78 , 2020
Link: https://doi.org/10.1007/..
 
?
4

Related Work:

, In: On the Construction of Engineering Handbooks; SpringerBriefs in Computer Science,
Gruner, Stefan ; Kumar, Apurva ; Maibaum, Tom. - p. 13-20 , 2020
Link: https://doi.org/10.1007/..
 
?
5

A General Method for Composing an Engineering HB:

, In: On the Construction of Engineering Handbooks; SpringerBriefs in Computer Science,
Gruner, Stefan ; Kumar, Apurva ; Maibaum, Tom. - p. 23-40 , 2020
Link: https://doi.org/10.1007/..
 
?
6

On the Construction of Engineering Handbooks: with an Illus.. 

SpringerBriefs in Computer Science
Gruner, Stefan ; Kumar, Apurva ; Maibaum, Tom. - 1st ed. 2020 . , 2020
Link: https://doi.org/10.1007/..
 
?
7

Introduction and Motivation:

, In: On the Construction of Engineering Handbooks; SpringerBriefs in Computer Science,
Gruner, Stefan ; Kumar, Apurva ; Maibaum, Tom. - p. 3-11 , 2020
Link: https://doi.org/10.1007/..
 
?
8

Assurance via model transformations and their hierarchical ..:

, In: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems,
Diskin, Zinovy ; Maibaum, Tom ; Wassyng, Alan.. - p. 426-436 , 2018
Link: https://dl.acm.org/doi/1..
 
?
9

A theoretical framework for cardinality-based feature model..:

Safilian, Aliakbar ; Maibaum, Tom ; Diskin, Zinovy
Journal of Logical and Algebraic Methods in Programming.  97 (2018)  - p. 30-54 , 2018
Link: https://doi.org/10.1016/..
 
?
10

A model management approach for assurance case reuse due to..:

, In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems,
Kokaly, Sahar ; Salay, Rick ; Cassano, Valentin.. - p. 196-206 , 2016
Link: https://dl.acm.org/doi/1..
 
?
11

Model management for regulatory compliance : a position ..:

, In: Proceedings of the 8th International Workshop on Modeling in Software Engineering,
Kokaly, Sahar ; Salay, Rick ; Sabetzadeh, Mehrdad.. - p. 74-80 , 2016
Link: https://dl.acm.org/doi/1..
 
?
12

Model Management for Regulatory Compliance: A Position Pape:

, In: 2016 IEEE/ACM 8th International Workshop on Modeling in Software Engineering (MiSE),
Kokaly, Sahar ; Salay, Rick ; Sabetzadeh, Mehrdad.. - p. 74-80 , 2016
Link: https://doi.org/10.1145/..
 
?
13

Implementability of requirements in the four-variable model:

Patcas, Lucian M. ; Lawford, Mark ; Maibaum, Tom
Science of Computer Programming.  111 (2015)  - p. 339-362 , 2015
Link: https://doi.org/10.1016/..
 
?
14

Safety cases : a review of challenges:

, In: Proceedings of the 1st International Workshop on Assurance Cases for Software-Intensive Systems,
Langari, Zarrin ; Maibaum, Tom - p. 1-6 , 2013
Link: https://dl.acm.org/doi/1..
 
?
15

Software certification consortium: certification methods fo..:

, In: Proceedings of the 2010 Conference of the Center for Advanced Studies on Collaborative Research,
Wassyng, Alan ; Lawford, Mark ; Maibaum, Tom.. - p. 434-436 , 2010
Link: https://dl.acm.org/doi/1..
 
1-15