2206 search results - page 156 / 442 » Software Engineering and Modeling Education: Problems and So... |
150
click to vote
FASE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. When model checking a software component, a model of the environment in which that component is supposed to run is constructed. One of the major threats to the validity o...
178
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
If we model a family of software applications with a feature model and an architecture model, we are describing the same subject from different perspectives. Hence, we are running ...
167
click to vote
WSC
2007
15 years 8 months ago
2007
The C source code associated with the Simulation 101 preconference workshop (offered at the 2006 and 2007 Winter Simulation Conferences) is presented here. This paper begins with ...
194
click to vote
SEKE
2007
Springer
16 years 16 days ago
2007
Springer
One of the impediments to the wide dissemination of software estimation and measurement practices is the significant overhead imposed by these practices on the project and develop...
164
click to vote
ISSRE
2002
IEEE
15 years 11 months ago
2002
IEEE
Formal analysis of software is a powerful analysis tool, but can be too costly. Random search of formal models can reduce that cost, but is theoretically incomplete. However, rand...