1908 search results - page 250 / 382 » How to teach software modeling |
122
click to vote
SOCO
2005
Springer
15 years 10 months ago
2005
Springer
Compared to other languages, the C++ language offers a less powerful runtime type system, but a very powerful static type system. In AspectC++, this is addressed by an extended joi...
131
click to vote
SEKE
2004
Springer
15 years 9 months ago
2004
Springer
As application semantics becomes more complex and dynamic in IT systems, it is necessary to engineer the application semantics in its own lifecycle of development parallel to syste...
111
click to vote
ASPDAC
2008
ACM
15 years 6 months ago
2008
ACM
As VLSI fabrication technology progresses to 65nm feature sizes and smaller, transistors no longer operate as ideal switches. This motivates the verification of digital circuits us...
139
click to vote
ECIS
2000
15 years 5 months ago
2000
- This paper draws from an international research study on the strategic positioning of companies in the software and computing services industry (SCSI). It considers how outsourci...
151
click to vote
ICSE
2008
IEEE-ACM
16 years 5 months ago
2008
IEEE-ACM
WS-BPEL applications are a kind of service-oriented application. They use XPath extensively to integrate loosely-coupled workflow steps. However, XPath may extract wrong data from...