306 search results - page 17 / 62 » Towards a Generic Modeling Language for Contract-Based Desig... |
KBSE
2007
IEEE
15 years 5 months ago
2007
IEEE
The metamodel techniques and model transformation techniques provide a standard way to represent and transform data, especially the software artifacts in software development. How...
CODES
2000
IEEE
15 years 3 months ago
2000
IEEE
—Huge new design challenges for system-on-chip (SoC) are the result of decreasing time-to-market coupled with rapidly increasing gate counts and embedded software representing 50...
101
click to vote
UMUAI
2010
14 years 9 months ago
2010
Conversation is an essential component of social behavior, one of the primary means by which humans express intentions, beliefs, emotions, attitudes and personality. Thus the deve...
FDL
2007
IEEE
15 years 3 months ago
2007
IEEE
Abstract-- Analog and Mixed Signal (AMS) designs are important integrated systems that link digital circuits to the analog world. Following the success of PSL verification methodol...
ASWEC
2008
IEEE
15 years 1 months ago
2008
IEEE
The research presented in the literature thus far on process deviations, inconsistencies and general nonconformance have all been very generic, process wide methodologies. Their a...