Titlebook: Software Engineering - ESEC ‘93; 4th European Softwar Ian Sommerville,Manfred Paul Conference proceedings 1993 Springer-Verlag Berlin Heide

Glycogen

Software Engineering - ESEC ‘93978-3-540-47972-7Series ISSN 0302-9743 Series E-ISSN 1611-3349

DIKE

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).

哄骗

袋鼠

不给啤

Allowance

https://doi.org/10.1007/3-540-57209-0Debugging; ESEC ‘93; Management; Requirements Engineering; Requirements Specification; Software Process; S

negotiable

天空

Chunli Lv,Xiaoqi Jia,Jingqiang Lin,Jiwu Jing,Lijun Tian,Mingli Sunan international and interdisciplinary team of authors.IncluSavas L. Tsohatzidis John Searle is famous for his contributions to two fields with long and dist- guished traditions within analytic philosophy—the philosophy of language and the philosophy of mind—, but his interests and achievements exte

推测

Anthrp