10159 search results - page 358 / 2032 » System Design Validation Using Formal Models |
129
Voted
QUATIC
2007
IEEE
15 years 10 months ago
2007
IEEE
The milestones of the history of software development are paradigm shifts. Each paradigm brought its own features and new ways of composing them to assemble software systems. Unde...
149
click to vote
DAC
1996
ACM
15 years 8 months ago
1996
ACM
Abstract -- This paper introduces a new HW/SW partitioning algorithm used in automating the instruction set processor design for pipelined ASIP (Application Specific Integrated Pro...
106
click to vote
ANSS
2000
IEEE
15 years 8 months ago
2000
IEEE
The cost of building a new system is usually quite high and without a proper design, a mismatch might occur between the proposed system and the actual system delivered. One aspect...
138
click to vote
CSMR
2004
IEEE
15 years 7 months ago
2004
IEEE
Most legacy systems have been altered due to prolonged maintenance to the point that they deviate significantly from their original and intended design and consequently, they lack...
160
click to vote
IAT
2010
IEEE
15 years 2 months ago
2010
IEEE
ASEME is an emerging Agent Oriented Software Engineering (AOSE) methodology. The Model-Driven Engineering (MDE) paradigm encourages software modelers to automate the transition of...