287 search results - page 28 / 58 » Guidelines From Organizational Requirements to Formal Specif... |
POPL
2010
ACM
15 years 7 months ago
2010
ACM
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
EGOV
2010
Springer
14 years 11 months ago
2010
Springer
E-government has emerged as one of the most promising means to reform the public sector. E-government is now being used to improve services for assisted living. The purpose of assi...
116
click to vote
CHIMIT
2009
ACM
15 years 4 months ago
2009
ACM
This case study describes the adoption of an enterprise identity management(IdM) system in an insurance organization. We describe the state of the organization before deploying th...
COMPSAC
2002
IEEE
15 years 2 months ago
2002
IEEE
Programs use rules to dictate or constrain specific decisions or actions. These rules have typically been tested, revised, and updated continuously; therefore, they represent a su...
OTM
2007
Springer
15 years 3 months ago
2007
Springer
Development of ontology development tools and ontology-enhanced software applications requires thorough understanding of ontology languages in order to implement them according to ...