1468 search results - page 59 / 294 » On Industrial Use of Requirements Engineering Techniques |
ACSD
2010
IEEE
14 years 7 months ago
2010
IEEE
Abstract--The ANR project SPaCIFY develops a domainspecific programming environment, Synoptic, to engineer embedded software for space applications. Synoptic is an Eclipse-based mo...
SEFM
2007
IEEE
15 years 4 months ago
2007
IEEE
We describe a simple and efficient algorithm for proving the termination of a class of loops with nonlinear assignments to variables. The method is based on divergence testing fo...
65
Voted
ICSE
2003
IEEE-ACM
15 years 10 months ago
2003
IEEE-ACM
Editing graphic models always entails layout problems. Inserting and deleting items requires tedious manual work for shifting existing items and rearranging the diagram layout. He...
IDTRUST
2010
ACM
15 years 4 months ago
2010
ACM
Natural-language policies found in X.509 PKI describe an organization’s stated policy as a set of requirements for trust. The widespread use of X.509 underscores the importance ...
IEEEARES
2007
IEEE
15 years 4 months ago
2007
IEEE
The use of one-way chains in authentication protocols is a technique of great importance which has many applications. Employing cryptographic techniques in the area of industrial ...