BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × China
1 × Norway
1 × United Kingdom
2 × Austria
2 × USA
3 × Germany
Collaborated with:
M.Wirsing O.Slotosch R.Grosu C.Klein B.Schätz H.Hußmann D.M.Fernández B.Penzenstadler M.Kuhrmann C.Leuxner W.Sitou B.Spanfelner S.Winter W.Dosch H.Partsch P.Pepper S.Kugele Philipp Obergfell O.Creighton M.Traub Wolfgang Hopfensitz
Talks about:
system (5) specif (5) softwar (4) engin (4) automot (3) requir (3) model (3) develop (2) orient (2) formal (2)

♂ Person: Manfred Broy

DBLP DBLP: Broy:Manfred

Facilitated 3 volumes:

MoDELS 2015PrCo
MoDELS 2012PrBoard
MoDELS 2016PrCo

Contributed to:

SPLC 20112011
MoDELS (2) 20102010
DocEng 20092009
SAC 20092009
ICSE 20062006
ICSE 20032003
ICSE 20012001
FM-Trends 19981998
FME 19971997
FME 19961996
ICALP 19791979
TAPSOFT, Vol.1: AS 19851985
TAPSOFT, Vol.1: AS 19891989
ICSA 20172017

Wrote 14 papers:

SPLC-2011-Broy11a #product line #requirements #specification
The Role of Requirements and Specification in Product Line Engineering (MB), pp. 3–7.
MoDELS-v2-2010-FernandezPKB #lessons learnt #metamodelling #requirements
A Meta Model for Artefact-Orientation: Fundamentals and Lessons Learned in Requirements Engineering (DMF, BP, MK, MB), pp. 183–197.
DocEng-2009-Broy #documentation #modelling #requirements
From system requirements documents to integrated system modeling artifacts (MB), p. 98.
SAC-2009-BroyLSSW #adaptation #behaviour #formal method
Formalizing the notion of adaptive system behavior (MB, CL, WS, BS, SW), pp. 1029–1033.
ICSE-2006-Broy #challenge #re-engineering
Challenges in automotive software engineering (MB), pp. 33–42.
ICSE-2003-Broy #re-engineering
Automotive Software Engineering (MB), pp. 719–720.
ICSE-2001-Broy #modelling #perspective #specification
Specification and Modeling: An Academic Perspective (MB), pp. 673–675.
FM-1998-BroyS #development #formal method #process
Enriching the Software Development Process by Formal Methods (MB, OS), pp. 44–61.
FME-1997-BroyGK #message passing #realtime
Reconciling Real-Time with Asynchronous Message Passing (MB, RG, CK), pp. 182–200.
FME-1996-SchatzHB #consistency #development #specification #visual notation
Graphical Development of Consistent System Specifications (BS, HH, MB), pp. 248–267.
ICALP-1979-BroyDPPW #data type #quantifier
Existential Quantifiers in Abstract Data Types (MB, WD, HP, PP, MW), pp. 73–87.
AS-1985-Broy #design #distributed #specification #top-down
Specification and Top Down Design of Distributed Systems (MB), pp. 4–28.
AS-1989-WirsingB #composition #framework #implementation #specification
A Modular Framework for Specification and Implementation (MW, MB), pp. 42–73.
ICSA-2017-KugeleOBCTH #on the
On Service-Orientation for Automotive Software (SK, PO, MB, OC, MT, WH), pp. 193–202.

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.