2748 search results - page 6 / 550 » Generating Object-Z Specifications from Use Cases |
COMPSAC
2005
IEEE
14 years 2 months ago
2005
IEEE
Web services and service-oriented architecture are emerging technologies that are changing the way we develop and use computer software. Due to the standardization of web services...
ECBS
2005
IEEE
14 years 2 months ago
2005
IEEE
CSP++ is an object-oriented application framework for execution of CSP specifications that have been automatically synthesized into C++ source code by the cspt translator. We desc...
EWCBR
2004
Springer
14 years 8 days ago
2004
Springer
Abstract. Helping software designers in their task implies the development of tools with intelligent capabilities. One such capability is the integration of natural language unders...
HCI
2009
13 years 6 months ago
2009
Delivering tailor-made ERP software requires automation of screen and printed report creation to be cost effective. Screens generated directly from data structures tend to have poo...
EDOC
2006
IEEE
14 years 2 months ago
2006
IEEE