2219 search results - page 277 / 444 » An environment for synchronous software development |
158
Voted
ECOOP
2010
Springer
15 years 11 months ago
2010
Springer
Following the scenario-based approach to programming which centered around live sequence charts (LSCs), we propose a general approach to software development in Java. A program wil...
128
click to vote
ITICSE
1999
ACM
15 years 11 months ago
1999
ACM
This paper shows how a multimedia multi-framed simulation generator was developed. A technique of recording a sequence of steps and playing them back as an animation overcomes the...
158
click to vote
DAC
2007
ACM
15 years 10 months ago
2007
ACM
It has long been the practice to create models in C or C++ for architectural studies, software prototyping and RTL verification in the design of Systems-on-Chip (SoC). It is often...
189
click to vote
FMICS
2008
Springer
15 years 8 months ago
2008
Springer
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
165
click to vote
APVIS
2006
15 years 8 months ago
2006
The geometry PIG is a system that can inspect the inside of a pipeline. The amount of pigging data is usually considerable because the system records multi-channel sensor values f...