Sciweavers

2253 search results - page 155 / 451
» An Approach to Specifying Software Frameworks
Sort
View
ICSE
2010
IEEE-ACM
15 years 6 months ago
DETERMIN: inferring likely deterministic specifications of multithreaded programs
The trend towards multicore processors and graphic processing units is increasing the need for software that can take advantage of parallelism. Writing correct parallel programs u...
Jacob Burnim, Koushik Sen
AGILEDC
2006
IEEE
15 years 10 months ago
On Agile Performance Requirements Specification and Testing
Underspecified performance requirements can cause performance issues in a software system. However, a complete, upfront analysis of a software system is difficult, and usually not...
Chih-Wei Ho, Michael J. Johnson, Laurie Williams, ...
JCIT
2008
136views more  JCIT 2008»
15 years 4 months ago
ARMMS - Architecture Reference Model for Multilingual Software
Multilingual software development is put in limelight due to the globalization efforts of the organization. But these development approaches do not have any reference model or fra...
V. Prasanna Venkatesan, S. Kuppuswami
EUROMICRO
1996
IEEE
15 years 8 months ago
Behaviour-Preserving Transformations in SHE: A Formal Approach to Architecture Design
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
Jeroen Voeten, P. H. A. van der Putten, M. P. J. S...
APSEC
2005
IEEE
15 years 9 months ago
Ontology-based Active Requirements Engineering Framework
Software-intensive systems are systems of systems that rely on complex interdependencies among themselves as well as with their operational environment to satisfy the required beh...
Seok Won Lee, Robin A. Gandhi