1926 search results - page 275 / 386 » Modeling and Model Checking Software Product Lines |
114
click to vote
CSE
2009
IEEE
15 years 8 months ago
2009
IEEE
Software component techniques are widely used to enhance productivity and reduce the cost of software systems development. This paper proposes optimization of component connections...
142
click to vote
KBSE
2002
IEEE
15 years 9 months ago
2002
IEEE
ort gives their abstracts. s of the position papers Recent Experiences with Code Generation and Task Automation Agents in Software Tools (J. Grundy, J. Hosking) As software grows i...
189
Voted
MEDES
2010
ACM
14 years 11 months ago
2010
ACM
This work presents a case of an innovative Brazilian experience of use of free software in public administration as an emergent ecosystem, and the attempt to establish a quality f...
138
click to vote
COMPUTER
2002
15 years 3 months ago
2002
tail defines the level of abstraction used to implement the model's components. A highly detailed model will faithfully simulate all aspects of machine operation, whether or n...
135
click to vote
COMPUTER
2002
15 years 3 months ago
2002
rs use models or abstractions that hide low-level implementation details. Various kinds of representations such as data models, state-transition models, and dataflow models can hel...