4917 search results - page 503 / 984 » Software Engineering is Not Computer Science |
118
Voted
SAC
2009
ACM
15 years 9 months ago
2009
ACM
Component systems have become a wide-spread technology and found their place in several application domains. Each component system has its speciļ¬cs and particularities that reļ¬...
146
click to vote
EUROMICRO
2009
IEEE
15 years 9 months ago
2009
IEEE
BPEL is the de facto standard for business process modeling in today's enterprises and is a promising candidate for the integration of business and scientific applications tha...
118
click to vote
EUROMICRO
2004
IEEE
15 years 8 months ago
2004
IEEE
We compare existing component technologies for embedded systems with respect to industrial requirements. The requirements are collected from the vehicular industry, but our findin...
133
click to vote
KBSE
1998
IEEE
15 years 8 months ago
1998
IEEE
Starting from a graphical data model (a subset of the OMT object model), a skeleton of formal specification can be generated and completed to express several constraints and provi...
158
click to vote
ISSTA
2010
ACM
15 years 7 months ago
2010
ACM
This paper presents a new technique, called Symbolic Program Decomposition (or SPD), for symbolic execution of multiple paths that is more scalable than existing techniques, which...