1446 search results - page 90 / 290 » Formal analysis of hardware requirements |
DATE
2005
IEEE
14 years 2 months ago
2005
IEEE
—Presented are a methodology and a DFII-based tool for AC-stability analysis of a wide variety of closed-loop continuous-time (operational amplifiers and other linear circuits). ...
ACSAC
2005
IEEE
14 years 2 months ago
2005
IEEE
Understanding the security goals provided by cryptographic protocol implementations is known to be difficult, since security requirements such as secrecy, integrity and authentici...
IEEEICCI
2002
IEEE
14 years 2 months ago
2002
IEEE
There are already many projects focusing on Computer Aided Software Engineering (CASE) tools for object-oriented analysis and design. However, at this moment, there are certain li...
JUCS
2008
13 years 9 months ago
2008
: Prediction of the quality attributes of software architectures requires technologies that enable the application of analytic theories to component models. However, available anal...
ISSE
2010
13 years 7 months ago
2010
The Use Case, Responsibility Driven Analysis and Design (URDAD) methodology is a methodology for technology neutral design generating the Platform Independent Model of the Object M...