3837 search results - page 457 / 768 » Concurrent Engineering support in Software Engineering |
145
click to vote
ICSE
1997
IEEE-ACM
15 years 8 months ago
1997
IEEE-ACM
Implementing, validating, modifying, or reengineering an object-oriented system requires an understanding of the object and class interactions which occur as a program executes. T...
133
click to vote
CODES
2004
IEEE
15 years 8 months ago
2004
IEEE
Future embedded and wireless devices will be increasingly powerful supporting many applications including one of the most crucial, security. Although many wireless and embedded de...
142
click to vote
UML
2000
Springer
15 years 7 months ago
2000
Springer
The UML is recognized to be the dominant diagrammatic modeling language in the software industry. However, it's support for building interactive systems is still acknowledged ...
153
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
Security, privacy and governance are increasingly the focus of government regulations in the U.S., Europe and elsewhere. This trend has created a “regulation compliance” probl...
113
click to vote
ICSE
2000
IEEE-ACM
15 years 7 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...