1401 search results - page 198 / 281 » Tool Integration for Reasoned Programming |
TES
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. The connectivity generated by the Internet is opening unprecedented opportunities of automating business-to-business collaborations. As a result, organisations of all siz...
WWW
2003
ACM
14 years 10 months ago
2003
ACM
Web services allow authorized entities (including individuals, corporations, and automated agents) to employ software components created by other parties scattered across the glob...
CASSIS
2004
Springer
14 years 3 months ago
2004
Springer
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...
EL
2008
13 years 10 months ago
2008
Research paper Purpose of this paper This paper describe an integrated hardware/software system based on Evolutionary Robotics and its application in Edutainment context. Design/me...
WWW
2005
ACM
14 years 10 months ago
2005
ACM
Markup languages, representations, schemas, and tools have significantly increased the ability for organizations to share their information. Languages, such as the Extensible Mark...