409 search results - page 2 / 82 » A Graphically Based Language for Constructing, Executing and... |
VL
2000
IEEE
13 years 9 months ago
2000
IEEE
Computer science educators have traditionally used algorithm visualization (AV) software to create graphical representations of algorithms that are later used as visual aids in le...
ESEC
1999
Springer
13 years 9 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
ASE
1998
13 years 5 months ago
1998
Software process improvement requires high level formalisms for describing project-specific, organizational and quality aspects. These formalisms must be convenient not only for ...
DAGSTUHL
2001
13 years 6 months ago
2001
Computer science educators have traditionally used algorithm visualization (AV) software to create graphical representations of algorithms that are later used as visual aids in lec...
POPL
2007
ACM
14 years 5 months ago
2007
ACM
An invariance assertion for a program location is a statement that always holds at during execution of the program. Program invariance analyses infer invariance assertions that ca...