Sciweavers

1719 search results - page 60 / 344
» Software Re-Documentation Process and Tool
Sort
View
123
Voted
DATE
2010
IEEE
176views Hardware» more  DATE 2010»
15 years 8 months ago
Timing modeling and analysis for AUTOSAR-based software development - a case study
—Safety-critical automotive systems must fulfill hard real-time constraints for reliability and safety. This paper presents a case study for the application of an AUTOSARbased l...
Kay Klobedanz, Christoph Kuznik, Andreas Thuy, Wol...
112
Voted
FM
2009
Springer
171views Formal Methods» more  FM 2009»
15 years 10 months ago
Formal Management of CAD/CAM Processes
Abstract. Systematic engineering design processes have many aspects in common with software engineering, with CAD/CAM objects replacing program code as the implementation stage of ...
Michael Kohlhase, Johannes Lemburg, Lutz Schrö...
CAI
2006
Springer
15 years 3 months ago
Addressing the Conflicting Dimension of Groupware: A Case Study in Software Requirements Validation
This paper addresses the conflicting dimension of groupware, seeking the reconciliation of two very different assumptions about the users' attitudes using groupware tools: use...
Pedro Antunes, João Ramires, Ana Resp&iacut...
156
Voted
DATESO
2009
269views Database» more  DATESO 2009»
15 years 1 months ago
The BPM to UML activity diagram transformation using XSLT
The Business Process Model represented as a diagram in Business Process Modeling Notation (BPMN) is a commonly used way how to describe business processes of an organization. Probl...
Ondrej Macek, Karel Richta
SWSTE
2005
IEEE
15 years 9 months ago
A Process-Complete Automatic Acceptance Testing Framework
We present a new automated software acceptance tests framework. The framework is novel in supporting the entire lifecycle and all QA activities, including test maintenance over mu...
David Talby, Ori Nakar, Noam Shmueli, Eli Margolin...