658 search results - page 84 / 132 » A formal approach to object-oriented software engineering |
175
click to vote
IUI
2006
ACM
15 years 10 months ago
2006
ACM
Studying the relationship between natural language and affective information as well as assessing the underpinned affective qualities of natural language are becoming crucial for ...
128
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
Comprehending and analyzing agent behavior is an arduous task due to complexities in agent systems and sophistication of agent behaviors, in addition to the common difficulties wi...
137
click to vote
CASCON
1996
15 years 6 months ago
1996
Software re-engineering is one of the solutions advocated for the problems that are encountered during maintenance. The three major phases of a re-engineering process are (i) reve...
123
click to vote
SEKE
2005
Springer
15 years 10 months ago
2005
Springer
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
124
Voted
ISSTA
2009
ACM
15 years 11 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...