5407 search results - page 674 / 1082 » The Software Engineering Global Model |
238
click to vote
ESEC
1995
Springer
15 years 11 months ago
1995
Springer
Improvise is a multimedia system for modeling, visualizing and documenting software and business processes. It runs under Microsoft Windows and on most avors of the UNIX operating ...
268
click to vote
AOSD
2008
ACM
15 years 9 months ago
2008
ACM
e instantiation is the transformation of abstract test cases cutable test scripts. Abstract test cases are either created during model based test case generation or are manually d...
236
click to vote
IHI
2010
15 years 2 months ago
2010
One goal of medical device certification is to show that a given medical device satisfies its requirements. The requirements that should be met by a device, however, depend on the...
195
click to vote
PEPM
2009
ACM
16 years 4 months ago
2009
ACM
Program interpolation is a new type of transformation that given an input program written in a specially constructed Domain Specific Language (DSL), produces a family of function...
182
click to vote
CISIS
2010
IEEE
16 years 2 months ago
2010
IEEE
—Bringing together heterogeneous computing devices and appliances gives rise to a spontaneous environment where resources exchange messages, such as a mobile phone telling the ca...