Sciweavers

10238 search results - page 448 / 2048
» Package-Based Software Development
Sort
View
ICRA
2007
IEEE
150views Robotics» more  ICRA 2007»
16 years 1 months ago
Enhancing Software Modularity and Extensibility: A Case for using Generic Data Representations
— Portable, modular and extensible software allows robotics researchers to pool their resources by sharing algorithms, thus advancing research in the field of robotics at a fast...
Gregory Broten
WOSP
2004
ACM
16 years 8 days ago
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering
Over the last decade, the relevance of performance evaluation in the early stages of the software development life-cycle has been steadily rising. We honestly believe that the int...
Juan Pablo López-Grao, José Mersegue...
235
Voted
CBSQ
2003
Springer
16 years 3 days ago
Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
Hye Yeon Kim, Kshamta Jerath, Frederick T. Sheldon
EWSPT
2003
Springer
16 years 2 days ago
Formalizing Rework in Software Processes
Abstract. This paper indicates how effective software-process programming languages can lead to improved understandings of critical software processes, as well as improved process ...
Aaron G. Cass, Stanley M. Sutton Jr., Leon J. Oste...
189
Voted
HASE
1998
IEEE
15 years 11 months ago
Formal Specification in Collaborative Design of Critical Software Tools
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
David Coppit, Kevin J. Sullivan