Sciweavers

4258 search results - page 362 / 852
» Languages and Interactive Software Development
Sort
View
MPC
2004
Springer
147views Mathematics» more  MPC 2004»
15 years 11 months ago
Extended Static Checking for Java
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
Greg Nelson
UML
2004
Springer
15 years 11 months ago
SoftContract: Model-Based Design of Error-Checking Code and Property Monitors
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
Luciano Lavagno, Marco Di Natale, Alberto Ferrari,...
PROCOMET
1998
15 years 7 months ago
Extended static checking
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
K. Rustan M. Leino
WICSA
2001
15 years 7 months ago
Statechart Simulator for Modeling Architectural Dynamics
Software development is a constant endeavor to optimize qualities like performance and robustness while ensuring functional correctness. Architecture Description Languages (ADLs) ...
Alexander Egyed, David S. Wile
EMSOFT
2001
Springer
15 years 11 months ago
System-Level Types for Component-Based Design
Abstract. We present a framework to extend the concept of type systems in programming languages to capture the dynamic interaction in component-based design, such as the communicat...
Edward A. Lee, Yuhong Xiong