meritorious 发表于 2025-3-25 05:33:29
Real-time systems: A survey of approaches to formal specification and verification,, emphasizing their ability to verify formal specifications and systematically derive test cases for the implementation. The specification languages reviewed here are TB nets (a specification formalism belonging to the class of high-level Petri nets) and TRIO (a real-time temporal logic language).孵卵器 发表于 2025-3-25 09:38:10
Software faults in evolving a large, real-time system: a case study, done in two parts: the first part surveyed all the faults that were reported and characterized them in terms of general categories; the second part resurveyed in depth the faults found in the design and coding phases. For the first part, we describe describe the questionaire, report the general fauFlawless 发表于 2025-3-25 12:40:51
Inconsistency handling in multi-perspective specifications,nowledge, responsibilities, and commitments. To address this we have advocated distributed development of specifications from multiple perspectives. However, this leads to problems of identifying and handling inconsistencies between such perspectives. Maintaining absolute consistency is not always ptransient-pain 发表于 2025-3-25 15:50:32
Requirements engineering: An integrated view of representation, process, and domain,are-intensive systems and their evolution. In ESPRIT Basic Research Project NATURE, we are developing an integrative approach to requirements management based on a three-dimensional framework which addresses formalism as well as cognitive and social aspects. This leads to a new requirements process危险 发表于 2025-3-25 20:36:37
Making changes to formal specifications: Requirements and an example,dge the potential benefits to be gained from the mathematical modelling involved. One reason is that existing modelling techniques tend not to address basic software engineering concerns. In particular, while considerable attention has been paid to the construction of formal models, less attractive小丑 发表于 2025-3-26 03:13:41
http://reply.papertrans.cn/88/8709/870880/870880_26.pngalcohol-abuse 发表于 2025-3-26 08:20:59
http://reply.papertrans.cn/88/8709/870880/870880_27.pngGOAT 发表于 2025-3-26 11:38:15
A regression testing database model,le maintenance activity. Recently proposed regression testing strategies have problems in their practical use because of the lack of management and control information about regression testing or maintenance activities. The need for a database to aid regression testing has been recognised. This pape名字 发表于 2025-3-26 13:49:42
http://reply.papertrans.cn/88/8709/870880/870880_29.pngBROTH 发表于 2025-3-26 16:58:09
http://reply.papertrans.cn/88/8709/870880/870880_30.png