596 search results - page 29 / 120 » On the Use of Visualization in Formal Requirements Specifica... |
167
click to vote
SIGCSE
2006
ACM
15 years 12 months ago
2006
ACM
Many incoming college freshmen have accumulated a significant number of hours of experience playing computer games. Extending that experience to actual game creation activities ca...
154
click to vote
IJAOSE
2008
15 years 6 months ago
2008
: Even if Multiagent Systems (MASs) are recognised as an appealing paradigm for designing many computer systems ranging from complex distributed systems to intelligent software app...
160
click to vote
RE
1997
Springer
15 years 10 months ago
1997
Springer
—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...
155
click to vote
COMPSAC
1997
IEEE
15 years 10 months ago
1997
IEEE
I n this paper, we propose an approach to reuse-based software development using formal method. I n our approach, each software component is annotated with a set of predicates to ...
159
click to vote
IV
2009
IEEE
2009
IEEE
Beyond Knowledge Visualization Usability: Toward a Better Understanding of Business Diagram Adoption
16 years 18 days ago
Information visualization research typically focuses on the formal aspects of specific graphic solutions in terms of their thinking and/or communication support. This type of anal...