3828 search results - page 1 / 766 » Proof-Based System Engineering Using a Virtual System Model |
ISAS
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. This paper provides an overview of Proof-Based System Engineering (PBSE), which aims at improving the current practice of developing computer-based systems. PBSE is of pa...
CSCWD
2008
Springer
13 years 6 months ago
2008
Springer
One of the main objectives in engineering departments of large industries is the implementation of integrated information systems to manage their projects' life cycle. EnViro...
VMCAI
2009
Springer
13 years 11 months ago
2009
Springer
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...
ICSE
1998
IEEE-ACM
13 years 9 months ago
1998
IEEE-ACM
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...
DATE
2005
IEEE
13 years 10 months ago
2005
IEEE
The aim of this work is to study the implementation feasibility of a VLS (Virtual Lambda Sensor) by a TSK (Takagi, Sugeno, Kang) singleton FIS (Fuzzy Inference System). Such a sen...