6581 search results - page 435 / 1317 » Formalizing Design Patterns |
169
Voted
ICALT
2010
IEEE
15 years 5 months ago
2010
IEEE
—In China, the number of online learners who attend formal education has quadrupled in the last 5 years to 8.2 millions until the end of 2008. How can online teachers build and u...
204
Voted
JOT
2008
15 years 6 months ago
2008
This article provides an overview of a pattern-based programming system, named Panda, for automatic generation of high-level programming language code. Many code generation system...
226
Voted
VLSID
2004
IEEE
16 years 7 months ago
2004
IEEE
This paper presents a novel technique for abstracting designs in order to increase the efficiency of formal property checking. Bounded Model Checking (BMC), using Satisfiability (...
189
Voted
KBSE
2003
IEEE
16 years 4 days ago
2003
IEEE
We present an approach to managing formal models using Model Driven Architecture (MDA) technologies that delivers analysis techniques through integration with the design tools and...
194
Voted
EUROMICRO
1999
IEEE
15 years 11 months ago
1999
IEEE
Experience has shown that prototypingis a valuabletechnique in the validation of designs. However, the prototype(s) can be too far semantically removed from the design. Animation ...