BibSonomy
::
author
::
Feather ::
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
Rapid application of lightweight formal methods for consistency analyses
Martin S.
Feather
IEEE Trans. Softw. Eng.
24
948--959 (1998)
to
formal
requirements
by
neilernst
on 2006-09-10 01:58:49
|
URL
|
BibTeX
previous | 1 | next
Showing 10 items per page. Show
10
,
25
,
50
,
100
items per page.
tags
complexity
Cost–benefit
dblp
Decision
Dissertation
dynamic
evolution
formal
goal
imported
Information
management
merging
optimization
Requirements
requirements
Risk
risk
should-read
software
Theorie
Tradeoffs
visualization
::
Feather ::
::
Feather ::
