Paul A. Strooper: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

A framework and tool support for the systematic testing of model-based specifications

Miller, Tim, Strooper, Paul

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2003

Language:

english

File:

PDF, 378 KB

english, 2003

52

[IEEE 2014 International Conference on Information, Communication Technology and System (ICTS) - Surabaya, Indonesia (2014.9.24-2014.9.24)] Proceedings of International Conference on Information, Communication Technology and System (ICTS) 2014 - A model-driven approach to developing and testing web applications

Year:

2014

Language:

english

File:

PDF, 85 KB

english, 2014

53

A FRAMEWORK FOR STATISTICAL TESTING OF SOFTWARE COMPONENTS

SHUKLA, RAKESH, STROOPER, PAUL, CARRINGTON, DAVID

Journal:

International Journal of Software Engineering and Knowledge Engineering

Year:

2007

Language:

english

File:

PDF, 444 KB

english, 2007

54

[ACM Press Proceeding of the 28th international conference - Shanghai, China (2006.05.20-2006.05.28)] Proceeding of the 28th international conference on Software engineering - ICSE '06 - Testing concurrent java components

Strooper, Paul, Wildman, Luke

Year:

2006

Language:

english

File:

PDF, 33 KB

english, 2006

55

[ACM Press the 3rd ACM SIGSOFT symposium - Washington, D.C., United States (1995.10.12-1995.10.15)] Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '95 - State abstraction and modular software development

Hoffman, Daniel, Strooper, Paul

Year:

1995

Language:

english

File:

PDF, 863 KB

english, 1995

56

[ACM Press Proceeding of the 2006 workshop - Portland, Maine, USA (2006.07.17-2006.07.17)] Proceeding of the 2006 workshop on Parallel and distributed systems: testing and debugging - PADTAD '06 - A state-of-practice questionnaire on verification and validation for concurrent programs

Wojcicki, Margaret A., Strooper, Paul

Year:

2006

Language:

english

File:

PDF, 315 KB

english, 2006

57

[ACM Press the 5th Workshop - Cape Town, South Africa (2010.05.03-2010.05.04)] Proceedings of the 5th Workshop on Automation of Software Test - AST '10 - Model-based testing of multiple GUI variants using the GUI test generator

Nguyen, Duc Hoai, Strooper, Paul, Suess, Jorn Guy

Year:

2010

Language:

english

File:

PDF, 182 KB

english, 2010

58

[ACM Press the 1998 annual ACM SIGAda international conference - Washington, D.C., United States (1998.11.08-1998.11.12)] Proceedings of the 1998 annual ACM SIGAda international conference on Ada - SIGAda '98 - Testing generic Ada packages with APE

Hoffman, Daniel, Nair, Jayakrishnan, Strooper, Paul

Year:

1998

Language:

english

File:

PDF, 726 KB

english, 1998

59

[ACM Press the 2006 ACM/IEEE international symposium - Rio de Janeiro, Brazil (2006.09.21-2006.09.22)] Proceedings of the 2006 ACM/IEEE international symposium on International symposium on empirical software engineering - ISESE '06 - Maximising the information gained from an experimental analysis of code inspection and static analysis for concurrent java components

Wojcicki, Margaret A., Strooper, Paul

Year:

2006

Language:

english

File:

PDF, 283 KB

english, 2006

60

Cell-Matrix Interaction via CD44 Is Independently Regulated by Different Metalloproteinases Activated in Response to Extracellular Ca2+Influx and PKC Activation

Osamu Nagano, Daizo Murakami, Dieter Hartmann, Bart de Strooper, Paul Saftig, Takeshi Iwatsubo, Motowo Nakajima, Masanori Shinohara and Hideyuki Saya

Journal:

The Journal of Cell Biology

Year:

2004

Language:

english

File:

PDF, 2.99 MB

english, 2004

61

A refinement calculus for logic programs

HAYES, IAN, COLVIN, ROBERT, HEMER, DAVID, STROOPER, PAUL, NICKSON, RAY

Journal:

Theory and Practice of Logic Programming

Year:

2002

Language:

english

File:

PDF, 351 KB

english, 2002

62

Calculating modules in contextual logic program refinement

COLVIN, ROBERT, HAYES, IAN J., STROOPER, PAUL

Journal:

Theory and Practice of Logic Programming

Year:

2008

Language:

english

File:

PDF, 206 KB

english, 2008

63

[IEEE 2009 31st International Conference on Software Engineering - Companion Volume - Vancouver, BC, Canada (2009.05.16-2009.05.24)] 2009 31st International Conference on Software Engineering - Companion Volume - Expanding, theory, and practice: Report on the 4th International Workshop on the Automation of Software Test

Dranidis, Dimitris, Masticola, Stephen P., Strooper, Paul

Year:

2009

Language:

english

File:

PDF, 52 KB

english, 2009

64

The Discrepancy between Presenilin Subcellular Localization and γ-Secretase Processing of Amyloid Precursor Protein

Philippe Cupers, Mustapha Bentahir, Katleen Craessaerts, Isabelle Orlans, Hugo Vanderstichele, Paul Saftig, Bart De Strooper and Wim Annaert

Journal:

The Journal of Cell Biology

Year:

2001

Language:

english

File:

PDF, 3.12 MB

english, 2001

65

Challenges in practice

Dranidis, Dimitris, Masticola, Stephen P., Strooper, Paul

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2009

Language:

english

File:

PDF, 282 KB

english, 2009

66

Testing generic Ada packages with APE

Hoffman, Daniel, Nair, Jayakrishnan, Strooper, Paul

Journal:

ACM SIGAda Ada Letters

Year:

1998

Language:

english

File:

PDF, 726 KB

english, 1998

67

State abstraction and modular software development

Hoffman, Daniel, Strooper, Paul

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1995

Language:

english

File:

PDF, 863 KB

english, 1995

68

Developmental Expression of Wild-Type and Mutant Presenilin-1 in Hippocampal Neurons from Transgenic Mice: Evidence for Novel Species-Specific Properties of Human Presenilin-1

Lévesque, Lyne, Annaert, Willem, Craessaerts, Katleen, Mathews, Paul M., Seeger, Mary, Nixon, Ralph A., Van Leuven, Fred, Gandy, Sam, Westaway, David, St George-Hyslop, Peter, De Strooper, Bart, Frase

Journal:

Molecular Medicine

Year:

1999

Language:

english

File:

PDF, 3.11 MB

english, 1999

69

Single-Nucleus RNA-Seq Is Not Suitable for Detection of Microglial Activation Genes in Humans

Thrupp, Nicola, Sala Frigerio, Carlo, Wolfs, Leen, Skene, Nathan G., Fattorelli, Nicola, Poovathingal, Suresh, Fourne, Yannick, Matthews, Paul M., Theys, Tom, Mancuso, Renzo, de Strooper, Bart, Fiers,

Journal:

Year:

2020

File:

PDF, 2.37 MB

2020