1397 search results - page 191 / 280 » On the Need for Practical Formal Methods |
123
Voted
FM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic st...
103
click to vote
DATE
2007
IEEE
15 years 11 months ago
2007
IEEE
An important aspect of Design for Yield for embedded SRAM is identifying the expected worst case behavior in order to guarantee that sufficient design margin is present. Previousl...
167
click to vote
ECSA
2008
Springer
2008
Springer
Automating Architecture Trade-Off Decision Making through a Complex Multi-attribute Decision Process
15 years 6 months ago
A typical software architecture design process requires the architects to make various trade-off architecture decisions. The architects need to consider different possibilities and...
143
Voted
ECOOP
2007
Springer
15 years 10 months ago
2007
Springer
Object-oriented languages define the identity of an object to be an address-based object identifier. The programmer may customize the notion of object identity by overriding the ...
148
Voted
ICWE
2007
Springer
15 years 10 months ago
2007
Springer
In recent years, innovation in technologies such as web services, business process automation, etc., have motivated a new paradigm in the application development field to appear, k...