1782 search results - page 48 / 357 » Tool Support for Proof Engineering |
AINA
2003
IEEE
14 years 2 months ago
2003
IEEE
Electronic multimedia publishing is increasingly becoming a major industrial activity, and the design of web applications and hypermedia applications in general needs to become a ...
Publication
Conversations between colleagues in collaborative
software engineering are important for coordinating work, sharing
knowledge and creating knowledge. Overhearing conversations
o...
JODS
2006
13 years 8 months ago
2006
W3C's Semantic Web provides a common framework that allows data to be shared and reused across application and enterprise. As the Semantic Web shapes the future of the Web, it...
APN
2004
Springer
14 years 2 months ago
2004
Springer
Renew is a computer tool that supports the development and execution of object-oriented Petri nets, which include net instances, synchronous channels, and seamless Java integration...
ICSE
2010
IEEE-ACM
14 years 1 months ago
2010
IEEE-ACM
Though verification tools are finding industrial use, the utility of engineering optimizations that make them scalable and usable is not widely known. Despite the fact that seve...