类 型
19 篇文献
 
Formal semantics of a VDM extension for distributed embedded systems  
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timing primitives. In add......
Festschrift in honor of Willem-Paul de Roever, LNCS Festschrift Series  2008
2次引用 0 0
Formalization and assessment of regulatory requirements for safety-critical software  
Regulatory requirements, as opposed to requirements for a particular system, have a generic nature, are applicable to a wide range of systems and are the basis for certification or licensing process. ......
Innovations in Systems and Software Engineering  2006
0次引用 0 0
Introduction to RAISE  
types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 2.2.6 Records . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 2.2.7 Variants .......
1次引用 0 0
Establishing Formal Regulatory Requirements for Safety-Critical Software Certification  
Formal methods are usually used for computer system specification, production and verification.......
Proceedings of AQuIS 2002: 5th International Conference on Achieving Quality In Software and SPICE 2002: 2nd International Conference on Software Process Improvement and Capability Determination, Venice, Palazzo Papafava, 13–15 March 2002  2002
6次引用 0 0
Requirements quality control: a unifying framework  
Literature tends to discuss software (and system) re- quirements quality control, which includes validation and verification, as a heterogeneous process using a great va- riety of relatively independe......
Requirements Engineering  2006
2次引用 0 0
Test-Case Calculation through Abstraction  
This paper discusses the calculation of test-cases for interactive systems. A novel approach is presented that treats the problem of test-case synthesis as an abstraction problem. The re nement calcul......
World Congress on Formal Methods  2001
8次引用 0 0
Precise Specification and Validation of Transactional Business Software  
This work presents an approach to the specification and validation of transactional business software. The focus of this work is on the production of detailed use case specifications and on the precis......
IEEE Int. Conf. on Requirements Engineering  2004
8次引用 0 0
Modeling and Validating Distributed Embedded Real-Time Control Systems  
The development of complex embedded control systems can be improved significantly by applying formal techniques from control engineering and software engineering. It is shown how these approaches can ......
21次引用 0 0
On the Value of Fault Injection on the Modeling Level  
In this paper we advocate the integration of fault injection into a formal methods tool set. We start by giving some motivations from our past industrial experiences with VDM. Then, we report about ou......
2次引用 0 0
Formal Semantics of a VDM Extension for Distributed Embedded Systems  
To support model-based development and analysis of embedded sys- tems, the specification language VDM++ has been extended with asynchronous communication and improved timing primitives. In addition, w......
Birthday ...  2010
0次引用 0 0

1/2 第一页 上一页 1 2 下一页
Feedback
Feedback
Feedback
我想反馈:
排行榜