Sciweavers

2832 search results - page 294 / 567
» Flexible Modelling for Requirements Engineering
Sort
View
ASPDAC
2006
ACM
726views Hardware» more  ASPDAC 2006»
15 years 10 months ago
Newton: a library-based analytical synthesis tool for RF-MEMS resonators
Newton is a library-based CAD tool with an analytical synthesis engine which has been developed to support the direct synthesis of the physical design and an electromechanically eq...
Michael S. McCorquodale, James L. McCann, Richard ...
TACS
1991
Springer
15 years 10 months ago
On Nets, Algebras and Modularity
We aim at a unified and coherent presentation of net models for concurrency like Petri nets and dataflow networks from the perspective of modularity and substitutivity. The major ...
Alexander Moshe Rabinovich, Boris A. Trakhtenbrot
PDSE
1998
131views more  PDSE 1998»
15 years 8 months ago
A Formally Founded Description Technique for Business Processes
As a means of modeling typical system behavior, we present a description technique for business processes derived from data flow nets and provide it with a formal semantics based ...
Veronika Thurner
IJVR
2008
125views more  IJVR 2008»
15 years 6 months ago
The Virtual Instructor Intervention: A Case in LEGO Robotics
Solving robotic exercises is a difficult task for students because the modeling activity involved requires students to comprehend programming, robotic design concepts as well as ba...
Pauline H. Mosley, Jayfus T. Doswell
SIGSOFT
2001
ACM
16 years 7 months ago
WREN---an environment for component-based development
Prior research in software environments focused on three important problems-- tool integration, artifact management, and process guidance. The context for that research, and hence...
Chris Lüer, David S. Rosenblum