Sciweavers

1463 search results - page 11 / 293
» Software engineering practices in Singapore
Sort
View
ICSE
2005
IEEE-ACM
14 years 9 months ago
Verifying safety policies with size properties and alias controls
Many software properties can be analysed through a relational size analysis on each function's inputs and outputs. Such relational analysis (through a form of dependent typin...
Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Cor...
QSIC
2003
IEEE
14 years 2 months ago
A Study of Japanese Software Process Practices and a Potential for Improvement Using SOFL
The goal of this paper is to examine the Japanese experience with the software development process, the challenges they face and how formal engineering methods, in particular SOFL...
Sirin Bekbay, Shaoying Liu
LCTRTS
2009
Springer
14 years 4 months ago
PTIDES on flexible task graph: real-time embedded systembuilding from theory to practice
Jia Zou, Joshua S. Auerbach, David F. Bacon, Edwar...
ASWEC
2000
IEEE
14 years 2 months ago
A Survey of Software Development Practices in the New Zealand Software Industry
We report on the software development techniques used in the New Zealand software industry, paying particular attention to requirements gathering. We surveyed a selection of softw...
Lindsay Groves, Ray Nickson, Greg Reeve, Steve Ree...
RE
2002
Springer
13 years 9 months ago
Extreme Programming Modified: Embrace Requirements Engineering Practices
Extreme Programming (XP) is an agile (lightweight) software development methodology and it becomes more and more popular. XP proposes many interesting practices, but it also has s...
Jerzy R. Nawrocki, Michal Jasiñski, Bartosz...