16844 search results - page 300 / 3369 » How to Design Programs |
197
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...
171
click to vote
FORTE
2008
15 years 8 months ago
2008
In software engineering, graphical formalisms, like state-transition tables and automata, are very often indispensable parts of the specifications. Such a formalism usually leads t...
167
click to vote
SAMOS
2010
Springer
15 years 5 months ago
2010
Springer
—Process Networks (PNs) is an appealing computation ion helping to specify an application in parallel form and realize it on parallel platforms. The key questions to be answered ...
151
click to vote
WCRE
2006
IEEE
16 years 21 days ago
2006
IEEE
Research on maintenance task structure modeling has so far examined only how often program artifacts are modified, and what information can be deduced from modification records....
197
click to vote
ECLIPSE
2005
ACM
15 years 8 months ago
2005
ACM
One of the reasons why large-scale software development is difficult is the number of dependencies that software engineers need to face: e.g., dependencies among the software comp...