researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: ISSE
Home
Index
Info
Issue
Volume
4
, Issue
4
315
--
328
Luiz André P. Paes Leme
,
Daniela F. Brauner
,
Karin Koogan Breitman
,
Marco A. Casanova
,
Alexandre Gazola
.
Matching object catalogues
329
--
339
Ronald T. Kneusel
.
Extending interactive data language with higher-order functions
341
--
360
Huibiao Zhu
,
Jifeng He
,
Jonathan P. Bowen
.
From algebraic semantics to denotational semantics for Verilog
361
--
384
Sven Jörges
,
Tiziana Margaria
,
Bernhard Steffen
.
Genesys: service-oriented construction of property conform code generators
385
--
394
Bernd J. Krämer
.
Component meets service: what does the mongrel look like?