378 search results - page 46 / 76 » Formalizing Spider Diagrams |
138
click to vote
SYNTHESE
2010
15 years 4 months ago
2010
Though pictures are often used to present mathematical arguments, they are not typically thought to be an acceptable means for presenting mathematical arguments rigorously. With re...
153
click to vote
ISORC
2009
IEEE
16 years 21 days ago
2009
IEEE
In his article entitled "From Play-In Scenarios to Code: An Achievable Dream", David Harel presented a development schema that makes it possible to go from high-level us...
150
click to vote
ITS
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We discuss the design of an agent for coaching collaborative learning in a distance learning context. The learning domain is entity-relationship modeling, a domain in whi...
151
click to vote
ENTCS
2007
15 years 6 months ago
2007
We propose to use a formal specification language as a high-level hardware description language. Formal languages allow for compact, unambiguous representations and yield designs...
162
click to vote
WSC
2004
15 years 7 months ago
2004
Computer Automated Multi-Paradigm Modelling (CAMPaM) is an enabler for domain-specific analysis and design. Traffic, a new untimed visual formalism for vehicle traffic networks, i...