4290 search results - page 104 / 858 » Formal Approaches to Teamwork |
209
click to vote
JOT
2010
15 years 5 months ago
2010
The separation of concerns (SOC), as a conceptual tool, enables us to manage the complexity of software systems that we develop. The benefits of this paradigm, such as reuse, enhan...
162
click to vote
SAC
2006
ACM
16 years 14 days ago
2006
ACM
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...
155
click to vote
PASTE
2005
ACM
16 years 2 days ago
2005
ACM
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
167
click to vote
ICCBR
2010
Springer
15 years 10 months ago
2010
Springer
This paper addresses the issue of adapting cases represented by plain text with the help of formal concept analysis and natural language processing technologies. The actual cases r...
153
click to vote
IJIT
2004
15 years 7 months ago
2004
As computer network technology becomes increasingly complex, it becomes necessary to place greater requirements on the validity of developing standards and the resulting technology...