Sciweavers

4255 search results - page 357 / 851
» Cover
Sort
View
FDL
2004
IEEE
15 years 10 months ago
The Formal Simulation Semantics of SystemVerilog
We present a rigorous but transparent semantics definition of SystemVerilog that covers processes with blocking and non-blocking statements as well as their interaction with the s...
Martin Zambaldi, Wolfgang Ecker, T. Kruse, W. M&uu...
CSEE
2006
Springer
15 years 10 months ago
Open Course Resources as Part of the OpenSeminar in Software Engineering
Software engineering is a rapidly changing field and new ideas, like agile software development, are emerging. As such, these ideas must be incorporated into software engineering ...
Michael Rappa, Sarah E. Smith, Alex Yacoub
CSEE
2006
Springer
15 years 10 months ago
Students Managing the Software Development Process: A Meta-Level Retrospective Evaluation
A fifteen week module on software engineering management exposed graduate students to practical aspects of the management of software development: emphasizing the recording and an...
Anne Comer, Helen M. Edwards
211
Voted
DEEC
2006
IEEE
15 years 10 months ago
A Bottom-Up Workflow Mining Approach for Workflow Applications Analysis
Abstract. Engineering workflow applications are becoming more and more complex, involving numerous interacting business objects within considerable processes. Analysing the interac...
Walid Gaaloul, Karim Baïna, Claude Godart
ECTEL
2006
Springer
15 years 10 months ago
Satellite-Enabled Interactive Education: Scenarios and Systems Architectures
Abstract. There are specific sectors of the economy that can benefit from satellite-based tele-education. Areas, such as maritime and agriculture, share common needs for both broad...
Tacha Serif, Lampros K. Stergioulas, Gheorghita Gh...