Boßelmann, Steve
10  results:
Search for persons X
?
3

Executable Documentation: From Documentation Languages to P..:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering; Lecture Notes in Computer Science,
Tegeler, Tim ; Boßelmann, Steve ; Schürmann, Jonas... - p. 174-192 , 2022
 
?
4

Domain-Specificity as Enabler for Global Organization aLign..:

, In: Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation. Practice,
Steffen, Barbara ; Boßelmann, Steve - p. 340-365 , 2022
 
?
5

Towards Continuous Quality Control in the Context of Langua..:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering; Lecture Notes in Computer Science,
 
?
6

GOLD: Global Organization aLignment and Decision - Towards ..:

, In: Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice,
Steffen, Barbara ; Boßelmann, Steve - p. 504-527 , 2018
 
?
7

On the Difficulty of Drawing the Line:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Modeling; Lecture Notes in Computer Science,
 
?
8

Der Business Model Developer – Entwicklung eines Tools zur ..:

, In: Dienstleistungspotenziale und Geschäftsmodelle in der Personalisierten Medizin,
 
1-10