1606 search results - page 69 / 322 » XML-based programming language modeling: An approach to soft... |
152
click to vote
PPPJ
2006
ACM
15 years 11 months ago
2006
ACM
Development of high quality code is extremely di cult. Tools that help maintaining the proper quality of code produced by programmers can be very useful: they may increase the qua...
173
click to vote
CISIS
2009
IEEE
16 years 21 days ago
2009
IEEE
—This paper describes a new logic-based approach for representing and reasoning about metabolic networks. First it shows how biological pathways can be elegantly represented in a...
186
click to vote
FASE
2008
Springer
15 years 7 months ago
2008
Springer
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...
145
click to vote
KBSE
2010
IEEE
15 years 4 months ago
2010
IEEE
During code review tasks, comparing two versions of a hardware design description using existing program differencing tools such as diff is inherently limited because existing p...
159
click to vote
ER
1998
Springer
15 years 10 months ago
1998
Springer
The development of Internet commercial applications and corporate Intranets around the world, which uses Java as the de facto standard language, is a significant topic in modern S...