4919 search results - page 212 / 984 » A Process-Ontological Model for Software Engineering |
105
Voted
WICSA
2008
15 years 5 months ago
2008
Simulation is a mean for verifying the quality of an architectural specification. Some approaches have been proposed in the past. Each approach has its own internal simulation eng...
139
Voted
RE
2009
Springer
15 years 10 months ago
2009
Springer
With the popularity of model-driven methodologies, and the abundance of modelling languages, a major question for a requirements engineer is: which language is suitable for modell...
145
Voted
ICSE
2009
IEEE-ACM
15 years 1 months ago
2009
IEEE-ACM
Verifying security properties of protocols requires developers to manually create protocol-specific intruder models, which could be tedious and error prone. We present Slede, a ve...
153
Voted
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...
170
Voted
PAMI
2012
13 years 6 months ago
2012
Which one comes first: segmentation or recognition? We propose a unified framework for carrying out the two simultaneously and without supervision. The framework combines a fle...