Sciweavers

2186 search results - page 243 / 438
» Developing Educational Software Components
Sort
View
COMPSAC
2008
IEEE
16 years 28 days ago
Service-Oriented Modelling of Automotive Systems
We discuss the suitability of service-oriented computing for the automotive domain. We present a formal high-level language in which complex automotive activities can be modelled ...
Laura Bocchi, José Luiz Fiadeiro, Ant&oacut...
CORR
2008
Springer
110views Education» more  CORR 2008»
15 years 6 months ago
Audit and Change Analysis of Spreadsheets
Because spreadsheets have a large and growing importance in real-world work, their contents need to be controlled and validated. Generally spreadsheets have been difficult to veri...
John C. Nash, Neil Smith, Andy Adler
FMCO
2007
Springer
129views Formal Methods» more  FMCO 2007»
16 years 19 days ago
Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project
As Internet applications become larger and more complex, the task of managing them becomes overwhelming. “Abnormal” events such as software updates, failures, attacks, and hots...
Peter Van Roy, Seif Haridi, Alexander Reinefeld, J...
IEEECIT
2005
IEEE
16 years 2 days ago
An Intelligent Connector Based Framework for Dynamic Architecture
Component based software development provides an architectural way for dynamic reconfiguration. Interactions between components are explicitly represented by connectors, then reco...
Xin Peng, Wenyun Zhao, Liang Zhang, Yijian Wu
ASSETS
2006
ACM
16 years 13 days ago
Designing a scripting language to help the blind program visually
The vast proliferation of GUI-based applications, including graphical interactive development environments (IDEs), has placed blind programmers at a severe disadvantage in a profe...
Kenneth G. Franqueiro, Robert M. Siegfried