Sciweavers

2339 search results - page 191 / 468
» Software processes for the development of electronic commerc...
Sort
View
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 10 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
ROBIO
2006
IEEE
217views Robotics» more  ROBIO 2006»
16 years 13 days ago
Modular software architecture for teams of cooperating, heterogeneous robots
— For teams of cooperating autonomous lightweight robots with challenging dynamical locomotion properties a platform independent modular software architecture and platform indepe...
Martin Friedmann, Jutta Kiener, Sebastian Petters,...
CE
2008
86views more  CE 2008»
15 years 5 months ago
Free/libre open source software implementation in schools: Evidence from the field and implications for the future
This empirical paper shows how free/libre open source software (FLOSS) contributes to mutual and collaborative learning in an educational environment. Unlike proprietary software,...
Yu-Wei Lin, Enrico Zini
HPCN
2000
Springer
15 years 10 months ago
Modelling Control Systems in an Event-Driven Coordination Language
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...
Theophilos A. Limniotes, George A. Papadopoulos
CSMR
2007
IEEE
16 years 23 days ago
A Multi-view Toolkit to Assist Software Integration and Evolution
Software product line engineering aims at producing functionally similar software systems as a family of products. In this process, the development life cycle has been shifted from...
Kamran Sartipi