BibSonomy
::
author
::
Gabbay ::
tag
user
group
author
concept
BibTeX key
search:all
A blue social bookmark and publication sharing system.
tags
·
relations
·
groups
·
popular
help
·
blog
·
about
username:
password:
myFriends
myRelations
mySearch
myPDF
myDuplicates
myBibTeX
login
·
register
bookmarks
publications
(1)
previous | 1 | next
Inconsistency handling in multiperspective specifications
A. C. W.
Finkelstein
and D.
Gabbay
and A.
Hunter
and J.
Kramer
and B.
Nuseibeh
IEEE Transactions on Software Engineering
20
569--578 (1994)
to
2106
formal
inconsistency
requirements
viewpoints
by
neilernst
and
1 other person
on 2006-03-24 16:34:33
|
URL
|
BibTeX
previous | 1 | next
Showing 10 items per page. Show
10
,
25
,
50
,
100
items per page.
tags
2106
<Mathematik>Mathematische
_Diplomathesis
abduction
and
automaticDebugging
Computer
concept
correlation
dblp
debugging
diss
dynamics
formal
Handbook
imported
inconsistency
Informatik
Logic
logic
logicProgramming
LogikInformatik
LogikTheoretische
mathematicalMathematische
model
no-tag
Opinion
Perfect
periodic
perspectives
requirements
ruleBasedSystems
scienceLogic,
sequence
specifications
Struktur
Symbolic
Tableau
theory
viewpoints