Sciweavers

16859 search results - page 6 / 3372
» Generative software development
Sort
View
CCS
2003
ACM
15 years 5 months ago
Formal access control analysis in the software development process
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...
Manuel Koch, Francesco Parisi-Presicce
SAC
2008
ACM
14 years 11 months ago
Towards a model-driven engineering approach for developing embedded hard real-time software
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
Fabiano Cruz, Raimundo S. Barreto, Lucas Cordeiro
ICSE
1997
IEEE-ACM
15 years 3 months ago
Communication Metrics for Software Development
† We present empirical evidence that metrics on communication artifacts generated by groupware tools can be used to gain significant insight into the development process that pro...
Bernd Brügge, Allen H. Dutoit
CSEE
2006
Springer
15 years 3 months ago
Students Managing the Software Development Process: A Meta-Level Retrospective Evaluation
A fifteen week module on software engineering management exposed graduate students to practical aspects of the management of software development: emphasizing the recording and an...
Anne Comer, Helen M. Edwards
SEFM
2005
IEEE
15 years 5 months ago
BRILLANT : An Open Source and XML-based platform for Rigourous Software Development
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...
Samuel Colin, Dorian Petit, Vincent Poirriez, J&ea...