7206 search results - page 1068 / 1442 » Using a Hypermedia System for Systems Engineering |
146
click to vote
ICSE
1998
IEEE-ACM
15 years 9 months ago
1998
IEEE-ACM
Form-based visual programming languages, which include commercial spreadsheets and various research systems, have had a substantial impact on end-user computing. Research shows, h...
188
click to vote
ER
1997
Springer
15 years 9 months ago
1997
Springer
Several decades of software engineering research confirm that effective reuse is the only realistic approach to meeting the ever-increasing demands on the software industry. Over ...
142
click to vote
PEPM
1993
ACM
15 years 9 months ago
1993
ACM
Binding-time analysis is a crucial component of an ofine partial evaluator. The accuracy of the binding-time information that it produces determines the degree of specialization o...
145
Voted
FOSSACS
2009
Springer
15 years 8 months ago
2009
Springer
In quantitative verification, system states/transitions have associated costs, and these are used to associate mean-payoff costs with infinite behaviors. In this paper, we propose ...
138
click to vote
FSEN
2009
Springer
15 years 8 months ago
2009
Springer
We propose and explore a formal approach for black-box testing asynchronously communicating components in open environments. Asynchronicity poses a challenge for validating and tes...