Sciweavers

1390 search results - page 73 / 278
» A Methodology for Requirements Engineering Process Developme...
Sort
View
IWPC
2000
IEEE
15 years 2 months ago
Tracing Object-Oriented Code into Functional Requirements
Software system documentation is almost always expressed informally, in natural language and free text. Examples include requirement specifications, design documents, manual page...
Giuliano Antoniol, Gerardo Canfora, Andrea De Luci...
ANSS
1999
IEEE
15 years 2 months ago
SIM-ENG: A Traffic Simulation Engine
The need for traffic analysis and traffic management applies to a vast range of disciplines. Simulation of traffic may assist in both analysis and management of traffic. In many s...
John M. Creagh
EWSPT
2001
Springer
15 years 2 months ago
A Software Process for an Integrated Electronic Commerce Portal System
In this paper we discuss that software processes for the development of electronic commerce systems are different from software processes for other kinds of information systems. We...
Volker Gruhn, Lothar Schöpe
DATE
2004
IEEE
97views Hardware» more  DATE 2004»
15 years 1 months ago
A Formal Verification Methodology for Checking Data Integrity
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
Yasushi Umezawa, Takeshi Shimizu
75
Voted
MODELS
2009
Springer
15 years 4 months ago
RobbyDBMS: a case study on hardware/software product line engineering
The development of a highly configurable data management system is a challenging task, especially if it is to be implemented on an embedded system that provides limited resources...
Jörg Liebig, Sven Apel, Christian Lengauer, T...