Collaborated with:
A.Munk-Madsen
Talks about:
develop
(1)
system
(1)
formal
(1)
Person:
Lars Mathiassen
DBLP: Mathiassen:Lars
Contributed to:
1985
Wrote 1 papers:
CSE-1985-MathiassenM
#development
#formal method
Formalization in Systems Development (
LM
,
AMM
), pp. 101–116.
Bibliography of Software Language Engineering in Generated Hypertext
(
BibSLEIGH
) is created and maintained by
Dr. Vadim Zaytsev
.
Hosted as a part of
SLEBOK
on
GitHub
.