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 fau
Flawless
发表于 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 p
transient-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.png
alcohol-abuse
发表于 2025-3-26 08:20:59
http://reply.papertrans.cn/88/8709/870880/870880_27.png
GOAT
发表于 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.png
BROTH
发表于 2025-3-26 16:58:09
http://reply.papertrans.cn/88/8709/870880/870880_30.png