Result 1 to 20 of 64 total
Theory presentation combinators. (English)
Jeuring, Johan (ed.) et al., Intelligent computer mathematics. 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, systems and projects, held as part of CICM 2012, Bremen, Germany, July 8‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31373-8/pbk). Lecture Notes in Computer Science 7362. Lecture Notes in Artificial Intelligence, 202-215 (2012).
1
The situational factors that affect the software development process: towards a comprehensive reference framework. (English)
Inf. Softw. Technol. 54, No. 5, 433-447 (2012).
2
Classical mathematics for a constructive world. (English)
Math. Struct. Comput. Sci. 21, No. 4, 861-882 (2011).
3
MathScheme: project description. (English)
Davenport, James H. (ed.) et al., Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18‒23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22672-4/pbk). Lecture Notes in Computer Science 6824. Lecture Notes in Artificial Intelligence, 287-288 (2011).
4
The mathscheme library: some preliminary experiments. (English)
Comput. Res. Repos. 2011, Article No. 1106.1862 (2011).
5
Functor is to Lens as applicative is to biplate: introducing multiplate. (English)
Comput. Res. Repos. 2011, Article No. 1103.2841 (2011).
6
An IT service engineering and management framework (ITS-EMF) (English)
IJSSMET 2, No. 2, 1-15 (2011).
7
The effect of a post processing thermal anneal on pre-existing and stress induced electrically active defects in ultra-thin sion dielectric layers (English)
Microelectronics Reliability 51, No. 3, 524-528 (2011).
8
Reliability of thin $ZrO_{2}$ gate dielectric layers (English)
Microelectronics Reliability 51, No. 6, 1118-1122 (2011).
9
A software process engineering approach to improving software team productivity using socioeconomic mechanism design (English)
ACM SIGSOFT Software Engineering Notes 36, No. 5, 1-5 (2011).
10
An approach for improving the social aspects of the software development process by using a game theoretic perspective - towards a theory of social productivity of software development teams (English)
ICSOFT (1), 35-40 (2011).
11
Mathscheme: project description (English)
Calculemus/MKM, 287-288 (2011).
12
The meaning of success for software smes: an holistic scorecard based approach (English)
EuroSPI, 72-83 (2011).
13
Using ISO/IEC 29110 to harness process improvement in very small entities (English)
EuroSPI, 225-235 (2011).
14
A study of software development team dynamics in SPI (English)
EuroSPI, 143-154 (2011).
15
An empirical investigation into social productivity of a software process: an approach by using the structural equation modeling (English)
EuroSPI, 155-166 (2011).
16
Systems, software and service process improvement - 18th European conference, eurospi 2011, Roskilde, Denmark, June 27-29, 2011. Proceedings (English)
Communications in Computer and Information Science: EuroSPI 172 (2011).
17
io-port 05849752 Dunin-Barkowski, W.L.;
Lovering, A.T.;
Orem, J.M.;
Baekey, D.M.;
Dick, T.E.;
Rybak, I.A.;
Morris, K.F.;
O’connor, R.;
Nuding, S.C.;
Shannon, R.;
Lindsey, B.G.
$L$-plotting ‒ A method for visual analysis of physiological experimental and modeling multi-component data. (English)
Neurocomputing 74, No. 1-3, 328-336 (2010).
18
A computer-verified monadic functional implementation of the integral. (English)
Theor. Comput. Sci. 411, No. 37, 3386-3402 (2010).
19
Exploring managerial commitment towards SPI in small and very small enterprises (English)
EuroSPI, 268-279 (2010).
20
Result 1 to 20 of 64 total
Start
Contact
Print
General Help
