Sciweavers

RE
2010
Springer
12 years 11 months ago
Domain Engineering with Event-B: Some Lessons We Learned
Domain modeling is an important aspect of software engineering. This paper presents our experience of modeling land transportation domain in the formal framework of Event-B. The do...
Atif Mashkoor, Jean-Pierre Jacquot
HICSS
2007
IEEE
172views Biometrics» more  HICSS 2007»
13 years 11 months ago
Support for Computer Forensics Examination Planning with Domain Modeling: A Report of One Experiment Trial
In any forensic investigation, planning and analysis activities are required in order to determine what digital media will be seized, what types of information will be sought in t...
Alfred C. Bogen, David A. Dampier, Jeffrey C. Carv...
KES
2009
Springer
13 years 11 months ago
Domain Modeling Based on Engineering Standards
In this paper we present a new methodology for the Domain modeling based on Engineering Standards. We discuss some benefits of standards as guidelines for a Knowledge Based Domain ...
Carlos Toro, Manuel Graña, Jorge Posada, Ja...
ICSR
2009
Springer
13 years 11 months ago
Extending FeatuRSEB with Concepts from Systems Engineering
FeatuRSEB is a method for domain modeling of software system families using the industry standard notation of the Unified Modeling Language. FeatuRSEB/Sys is an extension of FeatuR...
John M. Favaro, Silvia Mazzini