Sciweavers

3024 search results - page 237 / 605
» Requirement Engineering in Service-Oriented System Engineeri...
Sort
View
IPPS
2003
IEEE
15 years 11 months ago
Dynamically Loaded Classes as Shared Libraries: An Approach to Improving Virtual Machine Scalability
Sharing selected data structures among virtual machines of a safe language can improve resource utilization of each participating run-time system. The challenge is to determine wh...
Bernard Wong, Grzegorz Czajkowski, Laurent Dayn&eg...
JSS
2010
120views more  JSS 2010»
15 years 5 months ago
An evaluation of timed scenario notations
There is a general consensus on the importance of good Requirements Engineering (RE) for achieving high quality software. The modeling and analysis of requirements have been the m...
Jameleddine Hassine, Juergen Rilling, Rachida Dsso...
ICSE
2010
IEEE-ACM
15 years 11 months ago
StakeNet: using social networks to analyse the stakeholders of large-scale software projects
Many software projects fail because they overlook stakeholders or involve the wrong representatives of significant groups. Unfortunately, existing methods in stakeholder analysis...
Soo Ling Lim, Daniele Quercia, Anthony Finkelstein
FMCAD
1998
Springer
15 years 10 months ago
Symbolic Simulation: An ACL2 Approach
Executable formal speci cation can allow engineers to test (or simulate) the speci ed system on concrete data before the system is implemented. This is beginning to gain acceptance...
J. Strother Moore
ASE
1998
152views more  ASE 1998»
15 years 6 months ago
Apel: A Graphical Yet Executable Formalism for Process Modeling
Software process improvement requires high level formalisms for describing project-specific, organizational and quality aspects. These formalisms must be convenient not only for ...
Samir Dami, Jacky Estublier, Mahfoud Amiour