Sciweavers

7202 search results - page 244 / 1441
» Software System Engineering: A Tutorial
Sort
View
AGILEDC
2009
IEEE
16 years 1 months ago
Experiences Applying Agile Practices to Large Systems
The software engineering community has documented countless success stories where lean and agile software development practices have rescued failing projects and helped countless ...
Harry Koehnemann, Mark Coats
WER
2005
Springer
16 years 2 days ago
A Process for Requirement Traceability in Agent Oriented Development
Requirement traceability is intended to ensure continued alignment between stakeholders’ requirements and various outputs of the system development process. Therefore a process f...
Rosa Candida Pinto, Carla T. L. L. Silva, Jaelson ...
ICSE
2012
IEEE-ACM
13 years 9 months ago
Engineering and verifying requirements for programmable self-assembling nanomachines
—We propose an extension of van Lamsweerde’s goal-oriented requirements engineering to the domain of programmable DNA nanotechnology. This is a domain in which individual devic...
Robyn R. Lutz, Jack H. Lutz, James I. Lathrop, Tit...
DAWAK
2005
Springer
16 years 4 days ago
DWEB: A Data Warehouse Engineering Benchmark
Abstract. Data warehouse architectural choices and optimization techniques are critical to decision support query performance. To facilitate these choices, the performance of the d...
Jérôme Darmont, Omar Boussaid, Fadila...
JFP
2007
136views more  JFP 2007»
15 years 6 months ago
Practical type inference for arbitrary-rank types
Haskell’s popularity has driven the need for ever more expressive type system features, most of which threaten the decidability and practicality of Damas-Milner type inference. ...
Simon L. Peyton Jones, Dimitrios Vytiniotis, Steph...