3828 search results - page 96 / 766 » Proof-Based System Engineering Using a Virtual System Model |
120
Voted
IJSEKE
2011
14 years 6 months ago
2011
Software systems in safety-critical industrial automation systems, such as power plants and steel mills, become increasingly large, complex, and distributed. For assessing risks, l...
126
click to vote
COMPSAC
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper discusses aspects of the redocumentation of legacy systems and proposes a model oriented approach to generating documentation, which is to produce models from existing ...
117
Voted
HICSS
2007
IEEE
15 years 9 months ago
2007
IEEE
— The UML is a collection of 13 diagram notations to describe different views of a software system. The existing diagram types display model elements and their relations. Softwar...
136
Voted
IUI
2000
ACM
15 years 7 months ago
2000
ACM
Medical information delivery for users with different levels of expertise will be required for the manned mission to Mars due to limited potential for communication with Earth. Th...
115
click to vote
AMOST
2005
ACM
15 years 8 months ago
2005
ACM
Despite the fact that EJB (Enterprise Java Beans) is a widely used technology, research in the area of performance modelling of EJB application servers is quite sparse. This paper...