Sciweavers

561 search results - page 36 / 113
» VSE: Controlling the Complexity in Formal Software Developme...
Sort
View
ICSE
2003
IEEE-ACM
16 years 2 months ago
End-User Software Engineering with Assertions in the Spreadsheet Paradigm
There has been little research on end-user program development beyond the activity of programming. Devising ways to address additional activities related to end-user program devel...
Margaret M. Burnett, Curtis R. Cook, Omkar Pendse,...
CADE
2007
Springer
15 years 6 months ago
The Heterogeneous Tool Set (Hets)
Abstract. Heterogeneous specification becomes more and more important because complex systems are often specified using multiple viewpoints, involving multiple formalisms. Moreover...
Till Mossakowski, Christian Maeder, Klaus Lüt...
SAC
2010
ACM
15 years 8 months ago
A real-time architecture design language for multi-rate embedded control systems
This paper presents a language dedicated to the description of the software architecture of complex embedded control systems. The language relies on the synchronous approach but e...
Julien Forget, Frédéric Boniol, Davi...
CSREAPSC
2006
15 years 3 months ago
Multi-Agent Autonomic Architectures for Quality Control Systems
- Quality control is crucial to the success of any business and organization. Due to the ever-increasing complexity and mission-critical nature of quality control, development, dep...
Gilda Pour
CN
1998
67views more  CN 1998»
15 years 1 months ago
An Extensible Rendering Engine for XML
XML has been proposed in order to bring to the web a markup language free of the shortcomings of HTML, in particular the inextensibility of the set of valid elements (tags). Style...
Paolo Ciancarini, Alfredo Rizzi, Fabio Vitali