Sciweavers

1952 search results - page 139 / 391
» Integrating Pair Programming into a Software Development Pro...
Sort
View
DGO
2007
150views Education» more  DGO 2007»
15 years 7 months ago
Integration of text-based applications into service-oriented architectures for transnational digital government
Significant efforts are currently being pursued by several countries and IT providers to deploy SOA (Service Oriented Architecture) designs of digital government systems that inte...
Andréa M. Matsunaga, Maurício O. Tsu...
FMAM
2010
223views Formal Methods» more  FMAM 2010»
15 years 4 months ago
Agile Formality: A Mole of Software Engineering Practices
: Members of the agile programming and formal methods communities do not always see eye-to-eye. These two communities often do not talk to or learn from each other. Only recently, ...
Vieri del Bianco, Dragan Stosic, Joseph R. Kiniry
VTC
2007
IEEE
130views Communications» more  VTC 2007»
16 years 19 days ago
Data Stream Processing Infrastructure for Intelligent Transport Systems
— Intelligence Transportation Systems are critical to improve the efficiency of modern transportation by reducing congestions, providing real time road conditions. A system that...
Eric Bouillet, Mark Feblowitz, Zhen Liu, Anand Ran...
JIPS
2006
120views more  JIPS 2006»
15 years 6 months ago
Automatic Hardware/Software Interface Generation for Embedded System
: Large portion of embedded system development process is the integration of hardware and software. Unfortunately, the communication across the hardware/software boundary is tediou...
Choonho Son, Jeong-Han Yun, Hyun-Goo Kang, Taisook...
FMICS
2009
Springer
16 years 28 days ago
Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software
Most modern safety-critical control programs, such as those embedded in fly-by-wire control systems, perform a lot of floating-point computations. The well-known pitfalls of IEEE...
David Delmas, Eric Goubault, Sylvie Putot, Jean So...