Sciweavers

1077 search results - page 13 / 216
» Introducing Software Engineering by means of Extreme Program...
Sort
View
ICSE
2008
IEEE-ACM
15 years 10 months ago
From programming to modeling: our experience with a distributed software engineering course
Distributed Software Engineering (DSE) concepts in Computer Science (or Engineering) Degrees are commonly introduced using a hands-on approach mainly consisting of teaching a part...
Antonio Vallecillo, Francisco Durán, Jordi ...
PASTE
2004
ACM
15 years 3 months ago
Validation of assembler programs for DSPs: a static analyzer
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
Matthieu Martel
TAPSOFT
1997
Springer
15 years 1 months ago
A Type-Based Approach to Program Security
This paper presents a type system which guarantees that well-typed programs in a procedural programming language satisfy a noninterference security property. With all program input...
Dennis M. Volpano, Geoffrey Smith
ICSE
1987
IEEE-ACM
15 years 1 months ago
Software Interconnection Models
We present a formulation of interconnection models and present the unit and syntactic models -- the primary models used for managing the evolution of large software systems. We di...
Dewayne E. Perry
JIT
2004
Springer
204views Database» more  JIT 2004»
15 years 3 months ago
Ercatons: Thing-Oriented Programming
Thing-oriented programming (TP) is an emerging programming model which overcomes some of the limitations of current practice in software development in general and of object-orient...
Oliver Imbusch, Falk Langhammer, Guido von Walter