Sciweavers

10379 search results - page 351 / 2076
» The Chaos of Software Development
Sort
View
IWSSD
1993
IEEE
15 years 11 months ago
Fine-Grain Process Modelling
In this paper, we propose the use of fine-grain process modelling as an aid to software development. We suggest the use of two levels of granularity, one at the level of the indiv...
Bashar Nuseibeh, Anthony Finkelstein, Jeff Kramer
JOT
2008
92views more  JOT 2008»
15 years 6 months ago
A Matching Approach for Object-Oriented Formal Specifications
Software merging is needed at different stages of software development to combine the artifacts created or modified by the parallel work of the different developers involved in th...
Fathi Taibi, Fouad Mohammed Abbou, Md. Jahangir Al...
ASWEC
2005
IEEE
16 years 12 days ago
Software Reuse across Robotic Platforms: Limiting the Effects of Diversity
Robots have diverse capabilities and complex interactions with their environment. Software development for robotic platforms is time consuming due to the complex nature of the tas...
Glenn Smith, Robert Smith, Aster Wardhani
ISPW
2011
IEEE
14 years 10 months ago
Analyzing software process models with AVISPA
Software process models are sophisticated and large specifications aimed at organizing and managing software development. Their formal specification demands an enormous effort,...
Julio Ariel Hurtado Alegria, María Cecilia ...
DAC
2009
ACM
16 years 7 months ago
Spare-cell-aware multilevel analytical placement
Post-silicon validation has recently drawn designers' attention due to its increasing impacts on the VLSI design cycle and cost. One key feature of the post-silicon validatio...
Zhe-Wei Jiang, Meng-Kai Hsu, Yao-Wen Chang, Kai-Yu...