Sciweavers

1228 search results - page 15 / 246
» Techniques for Reactive System Design: The Tools in TRADE
Sort
View
EMSOFT
2011
Springer
14 years 5 months ago
Model-checking behavioral programs
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
David Harel, Robby Lampert, Assaf Marron, Gera Wei...
CORR
2011
Springer
227views Education» more  CORR 2011»
15 years 1 months ago
Message Structures: a modelling technique for information systems analysis and design
Despite the increasing maturity of model-driven development (MDD), some research challenges remain open in the field of information systems (IS). For instance, there is a need to i...
Sergio España, Arturo González, Osca...
VL
2002
IEEE
100views Visual Languages» more  VL 2002»
15 years 11 months ago
Using HCI Techniques to Design a More Usable Programming System
A programming system is the user interface between the programmer and the computer. Programming is a notoriously difficult activity, and some of this difficulty can be attribute...
John F. Pane, Brad A. Myers, Leah B. Miller
INTEGRATION
2010
172views more  INTEGRATION 2010»
15 years 4 months ago
Analog circuits optimization based on evolutionary computation techniques
1 — This paper presents a new design automation tool based on a modified genetic algorithm kernel, in order to increase efficiency on the analog circuit and system design cycle. ...
Manuel F. M. Barros, Jorge Guilherme, Nuno Horta
LISA
2008
15 years 8 months ago
Designing Tools for System Administrators: An Empirical Test of the Integrated User Satisfaction Model
System administrators are unique computer users. As power users in complex and high-risk work environments, intuition tells us that they may have requirements of the tools they us...
Nicole F. Velasquez, Suzanne P. Weisband, Alexandr...