Abstract. Errors in a requirements model have prolonged detrimental effects on reliability, cost, and safety of a software system. It is very costly to fix these errors in later ...
The understanding of novel compounds is a special case in which we can explore the deep generativity of natural language understanding. We report a model, PUNC, which captures the ...
Among the multiple causes of high error rates in spreadsheets, lack of proper training and of deep understanding of the computational model upon which spreadsheet computations res...
Karin Hodnigg, Markus Clermont, Roland T. Mitterme...
We build on PTIDES, a programming model for distributed embedded systems that uses discrete-event (DE) models as program specifications. PTIDES improves on distributed DE executi...
Executable UML allows precisely describing the software system at level of abstraction. The executable models can be translated to a less programming language completely or execute...