Sciweavers

5228 search results - page 214 / 1046
» Case Studies for Software Engineers
Sort
View
128
Voted
IWPC
2006
IEEE
15 years 10 months ago
Understanding Obfuscated Code
Code obfuscation makes it harder for a security analyst to understand the malicious payload of a program. In most cases an analyst needs to study the program at the machine code l...
Matias Madou, Ludo Van Put, Koen De Bosschere
FSTTCS
1999
Springer
15 years 8 months ago
Explicit Substitutions and Programming Languages
The λ-calculus has been much used to study the theory of substitution in logical systems and programming languages. However, with explicit substitutions, it is possible to get fi...
Jean-Jacques Lévy, Luc Maranget
ASWEC
2001
IEEE
15 years 7 months ago
Visualisation of Refinements
Animation tools haveproven to be effective asa means of visualising formal specijcations. Specijcations that might otherwise be impenetrable can be communicated to a wide range of...
Neil J. Robinson, Colin J. Fidge
EUROMICRO
2009
IEEE
15 years 7 months ago
Sprint Planning with a Digital Aid Tool: Lessons Learnt
- Managing the product’s backlog is a major task in agile projects. This case study reports on one organization’s experiences from the transition to a backlog management tool a...
Erlend Agoy Engum, Zornitza Racheva, Maya Daneva
CLEIEJ
2004
94views more  CLEIEJ 2004»
15 years 3 months ago
An ontology-based technique for the specification of domain and user models in multi-agent domain
Because of its facilities for the generalization and specialization of concepts and the unambiguous terminology they provide, ontologies are being used for the representation of re...
Rosario Girardi, Carla Gomes de Faria