3837 search results - page 544 / 768 » Concurrent Engineering support in Software Engineering |
168
Voted
TC
2010
14 years 10 months ago
2010
Hybrid systems have emerged as an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. Under this paradigm, distr...
159
Voted
TCAD
2010
14 years 10 months ago
2010
The growing complexity of systems and their implementation into silicon encourages designers to look for model designs at higher levels of abstraction and then incrementally build ...
122
Voted
ICSE
1998
IEEE-ACM
15 years 7 months ago
1998
IEEE-ACM
We describe the design and implementation of system architecture to support object introspection in C++. In this system, information is collected by parsing class declarations, an...
153
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
116
Voted
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
Although graphical user interfaces (GUIs) constitute a large part of the software being developed today and are typically created using rapid prototyping, there are no effective r...