Sciweavers

6722 search results - page 19 / 1345
» The DSML4MAS development environment
Sort
View
100
Voted
FLAIRS
2000
15 years 1 months ago
Formal Software Development in the Verification Support Environment (VSE)
The paper presents a survey of the VSE system, a kind of CASE-tool for formal software development. It is a summary of a tutorial presentation describing methodology, formalisms, ...
Dieter Hutter, Georg Rock, Jörg H. Siekmann, ...
JITE
2006
94views more  JITE 2006»
14 years 11 months ago
On the Design and Development of a UML-Based Visual Environment for Novice Programmers
learning abstract computer concepts. In addition, visualization helps novices construct a mental model of concepts, which is pivotal to further comprehension and understanding. Sec...
Brian D. Moor, Fadi P. Deek
CORR
2010
Springer
129views Education» more  CORR 2010»
14 years 11 months ago
sTeXIDE: An Integrated Development Environment for sTeX Collections
Authoring documents in MKM formats like OMDoc is a very tedious task. After years of working on a semantically annotated corpus of STEX documents (GenCS), we identified a set of co...
Constantin Jucovschi, Michael Kohlhase
CHI
1997
ACM
15 years 3 months ago
The Amulet User Interface Development Environment
—The Amulet user interface development environment makes it easier for programmers to create highly-interactive, graphical user interface software for Unix, Windows and the Macin...
Brad A. Myers, Richard G. McDaniel, Robert C. Mill...
DAC
2005
ACM
15 years 1 months ago
Matlab as a development environment for FPGA design
In this paper we discuss an efficient design flow from Matlab® to FPGA. Employing Matlab for algorithm research and as system level language allows efficient transition from algo...
Tejas M. Bhatt, Dennis McCain