859 search results - page 67 / 172 » Explaining Synthesized Software |
EMSOFT
2004
Springer
14 years 3 months ago
2004
Springer
Dataflow synchronous languages have attracted considerable interest in domains such as real-time control and hardware design. The potential benefits are promising: Discrete-time...
ICSE
1998
IEEE-ACM
14 years 2 months ago
1998
IEEE-ACM
As software engineering efforts move to more complex, distributed environments, coordinating the activities of people and tools becomes very important. While groupware systems add...
GPCE
2007
Springer
14 years 1 months ago
2007
Springer
Recent advances in Software Engineering have reduced the cost of coding programs at the expense of increasing the complexity of program synthesis, i.e. metaprograms, which when ex...
NFM
2011
13 years 4 months ago
2011
A main idea underlying bounded model checking is to limit the length of the potential counter-examples, and then prove properties for the bounded version of the problem. In softwar...
SIGSOFT
2007
ACM
14 years 10 months ago
2007
ACM
In software engineering, the use of models and metamodeling approaches (e.g., MDA with MOF/UML) for purposes such as software design or software validation is an established pract...