1823 search results - page 105 / 365 » Formal specification: a roadmap |
142
click to vote
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
System level modeling with executable languages such as C/C++ has been crucial in the development of large electronic systems from general processors to application specific desig...
146
Voted
ENTCS
2006
15 years 4 months ago
2006
We propose a family of models of coordination of distributed object systems representing different views, with refinement relations between the different views. We start with dist...
148
click to vote
IJSEKE
2006
15 years 4 months ago
2006
tion and alteration of software models at different levels of abstraction. These modifications are usually performed independently, but the objects to which they are applied to, ar...
145
Voted
JSW
2008
15 years 4 months ago
2008
- In the Software Product Line approach, product configuration is a key activity in which stakeholders choose features for a product. This activity is critical in the sense that ca...
124
click to vote
DAC
2000
ACM
16 years 5 months ago
2000
ACM
Contemporary microprocessors implement many iterative algorithms. For example, the front-end of a microprocessor repeatedly fetches and decodes instructions while updating interna...