Sciweavers

3943 search results - page 127 / 789
» Architecture-Level Requirements Specification
Sort
View
SIGSOFT
2008
ACM
16 years 7 months ago
Javert: fully automatic mining of general temporal properties from dynamic traces
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
Mark Gabel, Zhendong Su
ISCAS
1999
IEEE
94views Hardware» more  ISCAS 1999»
15 years 10 months ago
Designing system on a chip products using systems engineering tools
Systems engineering is the process which takes requirements specifications and engineers products and product families which involve hardware, software and possibly mechanical sub...
Graham R. Hellestrand
ICRA
1998
IEEE
93views Robotics» more  ICRA 1998»
15 years 10 months ago
Design and Accuracy Evaluation of High Speed and High Precision Parallel Mechanism
We have developed a precise and high-speed arm applied to assembly processes in electrical product and machine industries. The arm is designed based on the requirement from Japane...
Yoshihiko Koseki, Tatsuo Arai, Kouichi Sugimoto, T...
ACSAC
1996
IEEE
15 years 10 months ago
Formal Techniques for an ITSEC-E4 Secure Gateway
In this paper we describe the method used to develop a gateway capable of meeting the ITSEC E4 requirements. The security policy was formally modelled and proven consistent with t...
Pierre Bieber
ICSE
2010
IEEE-ACM
15 years 8 months ago
Managing iterations with UNICASE
Planning iterations in software projects requires considering artifacts from different aspects such as requirements, specifications, tasks or even bug reports. UNICASE is a unifie...
Jonas Helming, Maximilian Koegel