Sciweavers

3792 search results - page 99 / 759
» Techniques for Trusted Software Engineering
Sort
View
134
Voted
HASE
1998
IEEE
15 years 7 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
ADAEUROPE
2001
Springer
15 years 8 months ago
Building Formal Requirements Models for Reliable Software
Requirements engineering (RE) is concerned with the elicitation of the goals to be achieved by the system envisioned, the operationalization of such goals into specifications of se...
Axel van Lamsweerde
151
Voted
ICSE
2010
IEEE-ACM
15 years 1 months ago
Syde: a tool for collaborative software development
Team collaboration is essential for the success of multi-developer projects. When team members are spread across different locations, individual awareness of the activity of other...
Lile Hattori, Michele Lanza
147
Voted
WECWIS
2005
IEEE
201views ECommerce» more  WECWIS 2005»
15 years 9 months ago
A Categorization of Collaborative Business Process Modeling Techniques
Business Process Modeling (BPM) is one of the key factors in defining service-oriented solutions for business collaborations. Like in traditional software engineering there is a n...
Stephan Roser, Bernhard Bauer
129
Voted
BMCBI
2010
134views more  BMCBI 2010»
15 years 3 months ago
ScreenMill: A freely available software suite for growth measurement, analysis and visualization of high-throughput screen data
Background: Many high-throughput genomic experiments, such as Synthetic Genetic Array and yeast two-hybrid, use colony growth on solid media as a screen metric. These experiments ...
John C. Dittmar, Robert J. D. Reid, Rodney Rothste...