researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
OR
AND
NOT
1
1997
1998
Filter by Tag
OR
AND
NOT
1
C++
abstraction
architecture
design
e-science
formal semantics
modeling
requirements engineering
rule-based
semantics
software engineering
systematic-approach
Filter by Author
[+]
OR
AND
NOT
1
Andy Schürr
Barbara Paech
Bernd Finkbeiner
Bernhard Rumpe
Carlo Ghezzi
Chris George
David C. Luckham
Dines Bjørner
Do Tien Dung
Egidio Astesiano
Erik Kamsties
Franz Huber
Gianna Reggio
Giovanni Vigna
H. Dieter Rombach
Hans W. Nissen
Henny Sipma
Joy N. Reed
Katharina Spies
Luqi
Filter by Top terms
[+]
OR
AND
NOT
1
12-14
1997
97
abstraction
another
approach
approaches
architecture
aspects
bernried
development
engineering
formal
methods
requirements
software
specification
support
system
systems
Requirements Targeting Software and Systems Engineering (rtse)
Editions
Publications
Viewing Publication 1 - 16 from 16
1998
Requirements Targeting Software and Systems Engineering, International Workshop RTSE 97, Bernried, Germany, October 12-14, 1997, Proceedings
Manfred Broy
,
Bernhard Rumpe
, editors,
Volume 1526 of
Lecture Notes in Computer Science
, Springer,
1998.
1997
A Discipline for Handling Feature Interaction
Egidio Astesiano
,
Gianna Reggio
.
rtse 1998
:
95-119
Merging Changes to Software Specifications
Valdis Berzins
.
rtse 1998
:
121-131
Domains as a Prerequisite for Requirements and Software Domain Perspectives & Facets, Requirements Aspects and Software Views
Dines Bjørner
.
rtse 1998
:
1-41
Software and System Modeling Based on a Unified Formal Semantics
Manfred Broy
,
Franz Huber
,
Barbara Paech
,
Bernhard Rumpe
,
Katharina Spies
.
rtse 1998
:
43-68
Combining and Distributing Hierarchical Systems
Chris George
,
Do Tien Dung
.
rtse 1998
:
133-153
Software Engineering Issues for Network Computing
Carlo Ghezzi
,
Giovanni Vigna
.
rtse 1998
:
155-177
Integration Tools Supporting Development Processes
Stefan Gruner
,
Manfred Nagl
,
Andy Schürr
.
rtse 1998
:
235-256
A Two-Layered Approach to Support Systematic Software Development
Maritta Heisel
,
Stefan Jähnichen
.
rtse 1998
:
179-202
A Framework for Evaluating System and Software Requirements Specification Approaches
Erik Kamsties
,
H. Dieter Rombach
.
rtse 1998
:
203-222
Formal Methods and Prototyping
Luqi
.
rtse 1998
:
257-272
Abstraction and Modular Verification of Infinite-State Reactive Systems
Zohar Manna
,
Michael Colón
,
Bernd Finkbeiner
,
Henny Sipma
,
Tomás E. Uribe
.
rtse 1998
:
273-292
NSA s MISSI Reference Architecture - Moving from Prose to Precise Specification
Sigurd Meldal
,
David C. Luckham
.
rtse 1998
:
293-329
Requirements Engineering Repositories: Formal Support for Informal Teamwork Methods
Hans W. Nissen
,
Matthias Jarke
.
rtse 1998
:
331-355
Formal Methods and Industrial-Strength Computer Networks
Joy N. Reed
.
rtse 1998
:
223-233
Postmodern Software Design with NYAM: Not Yet Another Method
Roel Wieringa
.
rtse 1998
:
69-94
Sign in
or
sign up
to see more results.