1926 search results - page 189 / 386 » Modeling and Model Checking Software Product Lines |
162
click to vote
ESE
2000
15 years 6 months ago
2000
We present a case study that aims at quantitative assessment of the impact of requirements changes, and quantitative estimation of costs of the development activities that must be ...
182
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...
148
click to vote
FMICS
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. This paper reports the analysis of an industrial implementation of the session-layer of a load-balancing software system. This software comprises 7.5 thousand lines of C ...
177
click to vote
ELECTRONICMARKETS
1998
15 years 6 months ago
1998
Software agents help automate a variety of tasks including those involved in buying and selling products over the Internet. This paper surveys several of these agentmediated elect...
171
click to vote
ICST
2008
IEEE
16 years 26 days ago
2008
IEEE
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...