677 search results - page 61 / 136 » Rigorous Object-Oriented Analysis |
97
Voted
KBSE
1998
IEEE
15 years 5 months ago
1998
IEEE
Statically analyzing requirements specifications to assure that they possess desirable properties is an important activity in any rigorous software development project. The analys...
101
click to vote
ICIW
2008
IEEE
15 years 7 months ago
2008
IEEE
—Developing service compositions, using multiple standards and implementation techniques, typically involves specifying service characteristics in different languages and tools. ...
102
Voted
ICCAD
1999
IEEE
15 years 5 months ago
1999
IEEE
In this paper we consider the important problem of noise analysis of non-autonomous nonlinear RF circuits in presence of input signal phase noise. We formulate this problem as a s...
ICCAD
2001
IEEE
15 years 9 months ago
2001
IEEE
In deep submicron VLSI circuits, interconnect reliability due to electromigration and thermal effects is fast becoming a serious design issue particularly for long signal lines. T...
IMECS
2007
15 years 2 months ago
2007
— ACPsrt hs is a hybrid process algebra obtained by extending a combination of two existing extensions of Algebra of Communicating Processes (ACP), namely the process algebra wit...