en
de
Local
OpenID
:
no help available
no help available
BibSonomy
author
tag
user
group
author
concept
BibTeX key
search:all
::
John Mylopoulos
::
The blue social bookmark and publication sharing system.
sign in
home
groups
popular
posts
tags
authors
concepts
discussions
actions for all displayed bookmarks:
export:
RSS
,
BibTeX
,
XML
sort:
criterion:
date
,
title
order:
ascending
,
descending
others:
bookmarks per page:
5
10
20
50
100
bookmarks
actions for all displayed publications:
export:
RSS
,
BibTeX
,
RDF
,
more...
sort:
criterion:
date
,
title
order:
ascending
,
descending
advanced...
others:
publications per page:
5
10
20
50
100
publications
(2)
related tags
+
formal\_specification
+
frame_conditions
+
formal_specification
+
frame\_conditions
+
_hardcopy
+
frame\_assertion
+
\_pdf
+
\_hardcopy
+
proof_obligations
+
proof\_obligations
+
frame_assertion
tags
dblp
imported
requirements
goal
software
tropos
model
engineering
modeling
variability
ontology
semantic
RE
methodology
services
i-star
1406
2007
personal
web
agent
refactoring
evolution
requirement
i*
compilation
goals
nfr
design
_hardcopy
2005
componentization
\_pdf
non-functional
trust
research.kr
reasoning
seminal
cust
1995
spis
MAS
reverse
process
cc
build
architecture
Security
formal
No matching items.
On the frame problem in procedure specifications
Alexander Borgida
,
John Mylopoulos
, and
Raymond Reiter
.
Software Engineering, IEEE Transactions on
21(10):785--798
(
1995
)
Alexander Borgida
,
John Mylopoulos
, and
Raymond Reiter
.
Software Engineering, IEEE Transactions on
21(10):785--798
(
1995
)
4 years and 4 months ago
by
leonardo
1
1995
formal\_specification
frame\_conditions
\_hardcopy
frame\_assertion
\_pdf
proof\_obligations
1995
formal\_specification
frame\_conditions
\_hardcopy
frame\_assertion
\_pdf
proof\_obligations
URL
DOI
TeX
On the frame problem in procedure specifications
Alexander Borgida
,
John Mylopoulos
, and
Raymond Reiter
.
Software Engineering, IEEE Transactions on
21(10):785--798
(
1995
)
Alexander Borgida
,
John Mylopoulos
, and
Raymond Reiter
.
Software Engineering, IEEE Transactions on
21(10):785--798
(
1995
)
4 years and 4 months ago
by
leonardo
2
1995
_hardcopy
frame_conditions
formal_specification
frame_assertion
proof_obligations
1995
_hardcopy
frame_conditions
formal_specification
frame_assertion
proof_obligations
URL
DOI
TeX
BibSonomy is offered by the
KDE group
of the University of Kassel, the
DMIR group
of the University of Würzburg, and the
L3S Research Center
, Germany.
Privacy & Terms of Use
-
Contact