555 search results - page 49 / 111 » Software, regulation, and domain specificity |
CSEE
2007
Springer
14 years 4 months ago
2007
Springer
Extensive instructional materials have been developed and used for courses in specific software architecture topics offered at the Software Engineering Institute (SEI) at Carnegie...
ISESE
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper presents a study of collaboration in software design at a large software company. Ethnographic studies of development teams in the field are relatively rare, so this pa...
ATAL
2008
Springer
13 years 12 months ago
2008
Springer
on models are abstract representations of systems one wants to study through computer simulation. In multiagent based simulation, such models usually represent agents and their re...
POPL
2002
ACM
14 years 10 months ago
2002
ACM
e Abstraction for Software Verification Cormac Flanagan Shaz Qadeer Compaq Systems Research Center 130 Lytton Ave, Palo Alto, CA 94301 Software verification is an important and di...
SAC
2008
ACM
13 years 9 months ago
2008
ACM
This work presents an approach for realizing Model-Driven software engineering in the distributed and multi-developers context. It particularly focuses on the scalability problems...