3828 search results - page 77 / 766 » Proof-Based System Engineering Using a Virtual System Model |
120
click to vote
SEW
2003
IEEE
15 years 7 months ago
2003
IEEE
Component-based software engineering (CBSE) and the use of (de-facto) standard component models have gained popularity in recent years, particularly in the development of desktop ...
107
Voted
WSC
2000
15 years 3 months ago
2000
The proposed implementation is a monitor system able to train operators for on-line real time manufacturing control in order to analyze the performance of a production process. Th...
107
Voted
DATESO
2008
15 years 4 months ago
2008
Abstract. This paper gives an overview of XML formal models, summarizes database engineering practices, problems and their evolution. We focus on categorical aspects of XML formal ...
135
Voted
DSRT
2004
IEEE
15 years 6 months ago
2004
IEEE
This paper describes the general system and software architecture for the Internet-based robotic teleoperation system using virtual reality tools. The existing technology and appl...
150
Voted
FASE
2005
Springer
15 years 8 months ago
2005
Springer
Scenarios are a popular means for capturing behavioural requirements of software systems early in the lifecycle. Scenarios show how components interact to provide system level func...