3765 search results - page 457 / 753 » Formal Methods for Systems Engineering Behavior Models |
205
click to vote
INFORMATICALT
2007
15 years 6 months ago
2007
The innovations and improvements in digital imaging sensors and scanners, computer modeling, haptic equipments and e-learning technology, as well as the availability of many powerf...
184
click to vote
COMPSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
Given the rapid rise of model-driven software development methodologies, it is highly desirable that tools be developed to support the use of design patterns in this context. This...
216
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
When a software system enters the maintenance phase, the availability of accurate and consistent information about its organization can help alleviate the difficulties of program...
180
click to vote
IWPC
2002
IEEE
15 years 11 months ago
2002
IEEE
During software evolution, several different facets of the system need to be related to one another at multiple levbstraction. Current software evolution tools have limited capabi...
182
click to vote
MACH
1990
15 years 7 months ago
1990
Distributed real-time systems play a very important role in our modern society. They are used in aircraft control, communication systems, military command and control systems, fac...