4799 search results - page 787 / 960 » Model Based Requirements Engineering for Embedded Software |
142
click to vote
IWPC
2005
IEEE
16 years 8 hour ago
2005
IEEE
Source code can be viewed in many ways, with each view facilitating access to different information contained within the code. In this working session, we will explore the role th...
158
click to vote
EUROMICRO
2003
IEEE
15 years 11 months ago
2003
IEEE
Software components promise easy reuse, dependability, and simplified development. Problems arise when implicit assumptions about the use of the component are encoded in the imple...
281
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...
186
click to vote
ECOOPW
1998
Springer
15 years 10 months ago
1998
Springer
This workshop focussed on the requirements for tools and environments that support business rules in an object-oriented setting and attempted to provide an overview of possible tec...
175
click to vote
CIDR
2003
15 years 7 months ago
2003
Traditional database system architectures face a rapidly evolving operating environment, where millions of users store and access terabytes of data. In order to cope with increasi...