BibSonomy
::
user
::
ist_spl
::
tag
user
group
author
concept
BibTeX key
search:all
search:ist_spl
A blue social bookmark and publication sharing system.
tags
·
relations
·
groups
·
popular
help
·
blog
·
about
username:
password:
login
·
register
bookmarks
bookmarks per page:
5
10
20
50
100
publications
(2)
<<
< 1 >
>>
Evolution support mechanisms for software product line process
Samuel A.
Ajila
and Ali B.
Kaba
Journal of Systems and Software
81(10):1784--1801
#oct#2008.
to
modeling
line
development
product
process
Use-Cases
by
ist_spl
on Aug 14, 2008, 10:30 AM
URL
|
BibTeX
Advanced Use Case Modeling: Software Systems
Frank
Armour
and Granville
Miller
The Addison-Wesley Object Technology Series
Addison-Wesley Professional,
(
2001
)
to
development
Use-Cases
scenarios
object
diagrams
software
UML
model
requirements
engineering
sequence
modeling
by
ist_spl
and
1 other person
on Jul 21, 2008, 11:53 AM
URL
|
BibTeX
<<
< 1 >
>>
publications per page:
5
10
20
50
100
modeling
as tag from all users
modeling
as concept from ist_spl
modeling
as concept from all users
related tags
+
development
+
Use-Cases
+
diagrams
+
engineering
+
line
+
model
+
object
+
process
+
product
+
requirements
relations
UML
←
OCL
U2TP
Use-Cases
activity
diagrams
sequence
languages
←
Alloy
B
OCL
SOFL
TSL
UML
Z
logic
←
CTL
LTL
testing
←
MBT
black-box
combinatorial
gray-box
scenario-based
specification-based
structural
systemtest
white-box
tools
←
Dresden-OCL-Toolkit
NuSMV
TDE/UML
TGV
tags
ADT
AHEAD
Alloy
B
CSP
CTL
Conformance
Cow_Suite
Criteria
Domain-Partitioning
Dresden-OCL-Toolkit
FTPS
GUI
GenVoca
IOLTS
Java
LTL
LTS
MBT
MDA
Markov-Chains
NuSMV
OCL
OVM
PLUC
PLUTO
QUASAR
QVT
SOFL
ScenTED
TDE/UML
TGV
TSL
U2TP
UML
UMLAUT
Use-Cases
VDM
Z
abstraction
activity
adequacy
algebraic
algorithms
application
aspect-oriented
assertion
assertions
automated
based
binding
black-box
branch
case
cases
category-partition
cause-effect
checking
class
classification-tree-method
colored
combinatorial
components
constraint-solving
contracts
control
correctness
cover
coverage
data
ddgraph
defs-uses
dependencies
development
diagram
diagrams
dokumentation
driven
engineering
equivalence
error
execution
fault
fault-injection
feasible
feature
finite
flow
flowgraph
formal
functional
fundamentals
generation
graphs
gray-box
imported
integration
languages
line
logic
machine
manually
metaheuristic
method
methods
model
model-checker
modeling
mutation
net
object
object-oriented
oracle
oriented
paradigm
partitioning
path
petri
predicate
process
product
profile
program
propositional
requirements
research
reuse
scenario
scenario-based
scenarios
sensitization
sequence
single
singlesystem
software
specification
specification-based
state
statecharts
statemachine
structural
symbolic
synthesis
system
systematic
systems
systemtest
techniques
temporal
test
testdata
testing
tool
tools
traceability
transformation
transition
unit
unittest
use
variability
variant
white-box