نتائج البحث

A Formal Analysis of the Shlaer-Mellor Method: Towards a toolkit of Formal and Informal Requirements Specification Techniques

• Authors : R.J. Wieringa; G. Saake; The Pennsylvania State University CiteSeerX Archives

Subjects: object-oriented specification techniques; formal specification; behavior modeling

• Source: ftp://ftp.cs.utwente.nl/pub/doc/MAICS/96-ShlaerMellorFormalization.ps.Z

تفاصيل العنوان

Polychrony for refinement-based design

• Authors : Talpin, Jean-Pierre; Le Guernic, Paul; Shukla, Sandeep ...

Subjects: asynchronous circuits; clocks; formal specificationMunich; Germany

• Source: Design, Automation and Test in Europe Conference and Exposition (DATE 2003) ; https://hal.science/hal-00542167 ; Design, Automation and Test in Europe Conference and Exposition (DATE 2003), Mar 2003,

تفاصيل العنوان

Towards a Framework for Formalizing Requirements

• Authors : Georg Droschl; The Pennsylvania State University CiteSeerX Archives

Subjects: Formal Specification; Requirements Engineering; Requirements Analysis

• Source: ftp://ftp.ist.tu-graz.ac.at/pub/publications/IST-TEC-99-10.ps.gz

تفاصيل العنوان

An Ontology-Oriented Approach to Represent and Compare the Functional Behaviour of Event-Based Systems

• Authors : Imam, Fahim;

Subjects: Ontologies; Functional Reasoning; Event-Driven Systems

تفاصيل العنوان

Development of global specification for dynamically adaptive software

• Authors : Zhuqing Li; Dianfu Ma; Yongwang Zhao

Subjects: Model checking; Numerical Analysis; Computer science

• Source: Computing. 95:785-816

تفاصيل العنوان

Concurrent Specification in the Co-design of Reactive Engineering Systems

• Authors : A. Garg; P. K. Chawdhry

Subjects: Functional specification; Product design specification; Language Of Temporal Ordering Specification

• Source: Journal of Engineering Design. 9:17-28

تفاصيل العنوان

Rapid development of a distributed shop floor control system from an XML model-based control software specification

• Authors : Jaejoon Shin; Hyunsouk Cho

Subjects: Computer science; business.industry; computer.internet_protocol

• Source: International Journal of Production Research. 44:329-350

تفاصيل العنوان

Action systems for security specification

• Authors : Jane Sinclair

Subjects: Computer Networks and Communications; business.industry; Computer science

• Source: CSFW

تفاصيل العنوان

A Graph Representation for Use Case Specifications

• Authors : Ondrej Rysavy; Frantisek Bures; The Pennsylvania State University CiteSeerX Archives

Subjects: Use cases; Requirements specification; Hierarchical graphs

• Source: http://www.wseas.us/e-library/conferences/austria2004/papers/482-166.pdf.

تفاصيل العنوان

for digital nuclear plant protection

• Authors : Junbeom Yoo A; Taihyo Kim A; Sungdeok Cha A ...

Subjects: Formal specification; Software requirements; Digital plant protection system

• Source: http://dependable.kaist.ac.kr/~jbyoo/A formal software requirements specification method for digital nuclear plant protection

تفاصيل العنوان