9006 search results - page 99 / 1802 » Modeling Software |
JUCS
2007
15 years 2 months ago
2007
: This paper introduces model checking, originally conceived for checking finite state systems. It surveys its evolution to encompass finitely checkable properties of systems wit...
171
click to vote
SPLC
2007
15 years 3 months ago
2007
Software product line engineering aims to reduce development time, effort, cost, and complexity by taking advantage of the commonality within a portfolio of similar products. The ...
136
click to vote
SOCIALCOM
2010
14 years 9 months ago
2010
Most of the current swarm model studies and applications try to mimic the collective behaviors of social animals, such as birds and ants. The studies seek to solve tasks similar to...
104
Voted
MODELS
2009
Springer
15 years 9 months ago
2009
Springer
Variability modelling with feature models is one key technique for specifying the problem space of software product lines (SPLs). To allow for the automatic derivation of a concre...
120
click to vote
RCIS
2010
15 years 10 days ago
2010
Every interactive system has a functional part and an interactive part. However the software engineering and the human-computer-interaction communities work separately in terms of ...