Sciweavers

1704 search results - page 123 / 341
» Focusing Software Education on Engineering
Sort
View
EMSOFT
2011
Springer
14 years 3 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...
SIGCSE
1999
ACM
145views Education» more  SIGCSE 1999»
15 years 8 months ago
Using JFLAP to interact with theorems in automata theory
An automata theory course can be taught in an interactive, hands-on manner using a computer. At Duke we have been using the software tool JFLAP to provide interaction and feedback...
Eric Gramond, Susan H. Rodger
ICSM
2006
IEEE
15 years 10 months ago
Establishing Maintainability in Systems Integration: Ambiguity, Negotiations, and Infrastructure
This paper investigates how maintainability can be established in system integration (SI) projects where maintainers have no direct access to the source code of the third-party so...
Thomas Østerlie, Alf Inge Wang
TII
2011
206views Education» more  TII 2011»
14 years 11 months ago
Timing-Failure Risk Assessment of UML Design Using Time Petri Net Bound Techniques
Abstract—Software systems that do not meet their timing constraints can cause risks. In this work, we propose a comprehensive method for assessing the risk of timing failure by e...
Simona Bernardi, Javier Campos, José Merseg...
COMPSAC
2009
IEEE
15 years 11 months ago
Integrating System Modeling with Project Management - A Case Study
In software engineering projects, there are two different types of modeling tools. On the one hand, there are tools to model the system under construction, i.e. tools for requirem...
Jonas Helming, Jörn David, Maximilian Koegel,...