BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
1 × Czech Republic
1 × Denmark
1 × Italy
1 × Mexico
1 × Poland
1 × Switzerland
1 × USA
2 × Estonia
2 × United Kingdom
3 × Austria
Collaborated with:
A.Knapp R.Hennicker M.Bidoit M.Broy G.Mascari W.Dosch D.Sannella J.Eckhardt T.Mühlbauer J.Meseguer M.M.Hölzl M.Meier A.Rauschmayer H.Baumeister S.Merz J.Zappe B.Reus R.Stabl G.Marczynski A.Zawlocki F.Tort U.Lechner C.Lengauer F.Nickl E.Astesiano G.Reggio M.AlTurki G.Denker C.L.Talcott A.Poggio L.Briesemeister H.Partsch P.Pepper
Talks about:
specif (8) approach (4) constraint (3) system (3) orient (3) object (3) formal (3) abstractor (2) implement (2) framework (2)

♂ Person: Martin Wirsing

DBLP DBLP: Wirsing:Martin

Facilitated 4 volumes:

FASE 2009Ed
FASE 2009PrCh
PLILP 1992Ed
PLILP 1991Ed

Contributed to:

FASE 20122012
WRLA 20122012
QoSA 20102010
SAC 20102010
WRLA 20082009
WRLA 20062007
ASE 20042004
SEFM 20042004
FASE 20032003
FASE 20012001
UML 19991999
ECOOP 19961996
WRLA 19961996
WRLA 19962002
ESOP 19941994
ESOP 19941995
ESEC 19891989
ICALP 19821982
VLDB 19821982
ICALP 19791979
TAPSOFT, Vol.1: CAAP 19851985
TAPSOFT, Vol.1: AS 19891989

Wrote 22 papers:

FASE-2012-EckhardtMAMW
Stable Availability under Denial of Service Attacks through Formal Patterns (JE, TM, MA, JM, MW), pp. 78–93.
WRLA-2012-WirsingEMM #analysis #architecture #design #maude
Design and Analysis of Cloud-Based Architectures with KLAIM and Maude (MW, JE, TM, JM), pp. 54–82.
QoSA-2010-Wirsing #adaptation #approach #component #pervasive
A Component-Based Approach to Adaptive User-Centric Pervasive Applications (MW), p. 2.
SAC-2010-KnappMWZ #approach #specification
A heterogeneous approach to service-oriented systems specification (AK, GM, MW, AZ), pp. 2477–2484.
WRLA-2008-HolzlMW09 #constraints #question
Which Soft Constraints do you Prefer? (MMH, MM, MW), pp. 189–205.
WRLA-2006-WirsingDTPB07 #constraints #framework #logic
A Rewriting Logic Framework for Soft Constraints (MW, GD, CLT, AP, LB), pp. 181–197.
ASE-2004-RauschmayerKW #consistency #framework #generative #scalability
Consistency Checking in an Infrastructure for Large-Scale Generative (AR, AK, MW), pp. 238–247.
SEFM-2004-BaumeisterKW #development
Property-Driven Development (HB, AK, MW), pp. 96–102.
FASE-2003-MerzWZ #logic #mobile #refinement #specification
A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems (SM, MW, JZ), pp. 87–101.
FASE-2001-ReusWH #calculus #design #hoare #java #modelling #ocl #verification
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models (BR, MW, RH), pp. 300–317.
UML-1999-TortBHW #constraints #interface #ocl
Correct Realization of Interface Constraints with OCL (FT, MB, RH, MW), pp. 399–415.
ECOOP-1996-LechnerLNW #concurrent #inheritance #reuse #usability
(Objects + Concurrency) & Reusability — A Proposal to Circumvent the Inheritance Anomaly (UL, CL, FN, MW), pp. 232–247.
RWLW-1996-WirsingK #approach #formal method #object-oriented #re-engineering
A formal approach to object-oriented software engineering (MW, AK), pp. 322–360.
WRLA-J-1996-WirsingK02 #approach #formal method #object-oriented #re-engineering
A formal approach to object-oriented software engineering (MW, AK), pp. 519–560.
ESOP-1994-BidoitHW #behaviour #semantics
Characterizing Behavioural Semantics and Abstractor Semantics (MB, RH, MW), pp. 105–119.
ESOP-J-1994-BidoitHW95 #behaviour #specification
Behavioural and Abstractor Specifications (MB, RH, MW), pp. 149–186.
ESEC-1989-WirsingHS #named #reuse #specification #using
MENU — An Example for the Systematic Reuse of Specifications (MW, RH, RS), pp. 20–41.
ICALP-1982-SannellaW #implementation #specification
Implementation of Parameterised Specifications (DS, MW), pp. 473–488.
VLDB-1982-DoschMW #algebra #database #on the #specification
On the Algebraic Specification of Databases (WD, GM, MW), pp. 370–385.
ICALP-1979-BroyDPPW #data type #quantifier
Existential Quantifiers in Abstract Data Types (MB, WD, HP, PP, MW), pp. 73–87.
CAAP-1985-AstesianoMRW #algebra #concurrent #on the #specification
On the Parameterized Algebraic Specification of Concurrent Systems (EA, GM, GR, MW), pp. 342–358.
AS-1989-WirsingB #composition #framework #implementation #specification
A Modular Framework for Specification and Implementation (MW, MB), pp. 42–73.

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.