Sciweavers

7202 search results - page 453 / 1441
» Software System Engineering: A Tutorial
Sort
View
SCAM
2003
IEEE
16 years 27 days ago
The Java System Dependence Graph
The Program Dependence Graph was introduced by Ottenstein and Ottenstein in 1984. It was suggested to be a suitable internal program representation for monolithic programs, for th...
Neil Walkinshaw, Marc Roper, Murray Wood
APSEC
2009
IEEE
15 years 5 months ago
A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
Wissam Mallouli, Amel Mammar, Ana R. Cavalli
OOPSLA
2004
Springer
16 years 29 days ago
Empirical investigation of the impact of extreme programming practices on software projects
Extreme Programming (XP) is an agile software development methodology composed of several practices that purportedly yield high quality and high customer satisfaction. However, th...
Lucas Layman
HICSS
2002
IEEE
92views Biometrics» more  HICSS 2002»
16 years 17 days ago
A Tentative Framework for Managing Software Product Development in Small Companies
Deploying an appropriate software process can improve the effectiveness of software engineering. Still, small companies find it hard to allocate resources to software process impr...
Kristian Rautiainen, Casper Lassenius, Jarno V&aum...
SCOPES
2005
Springer
16 years 1 months ago
Software Synthesis from the Dataflow Interchange Format
Specification, validation, and synthesis are important aspects of embedded systems design. The use of dataflow-based design environments for these purposes is becoming increasingl...
Chia-Jui Hsu, Shuvra S. Bhattacharyya