An Empirical Study on Teaching Formal Methods to Millennials

2017 IEEE/ACM 1st International Workshop on Software Engineering Curricula for Millennials (SECM) ◽

10.1109/secm.2017.1 ◽

2017 ◽

Author(s):

Nestor Catano

Keyword(s):

Empirical Study ◽

Download Full-text

Use Case Analysis Based on Formal Methods: An Empirical Study

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-319-28114-8_7 ◽

2015 ◽

pp. 110-130 ◽

Author(s):

Marcos Oliveira ◽

Leila Ribeiro ◽

Érika Cota ◽

Lucio Mauro Duarte ◽

Ingrid Nunes ◽

...

Keyword(s):

Empirical Study ◽

Formal Methods ◽

Case Analysis ◽

Download Full-text

Making DNS Servers Resistant to Cyber Attacks: An Empirical Study on Formal Methods and Performance

2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC) ◽

10.1109/compsac.2017.165 ◽

2017 ◽

Author(s):

Barry S. Fagin ◽

Bradley Klanderman ◽

Martin C. Carlisle

Keyword(s):

Empirical Study ◽

Formal Methods ◽

Cyber Attacks ◽

And Performance

Download Full-text

Individuals without jobs: An empirical study of job-seeking behavior and reemployment.

Journal of Applied Psychology ◽

10.1037/0021-9010.81.1.76 ◽

1996 ◽

Vol 81 (1) ◽

pp. 76-87 ◽

Author(s):

Connie R. Wanberg ◽

John D. Watt ◽

Deborah J. Rumsey

Keyword(s):

Empirical Study ◽

Job Seeking ◽

Seeking Behavior

Download Full-text

Psychology: An empirical study of behavior.

10.1037/10942-000 ◽

1933 ◽

Author(s):

Frederick H. Lund

Keyword(s):

Empirical Study

Download Full-text

Police stress, psychological debriefing and organizational climate: An empirical study of intervention effectiveness

PsycEXTRA Dataset ◽

10.1037/e338022004-001 ◽

2013 ◽

Author(s):

James Herndon

Keyword(s):

Empirical Study ◽

Organizational Climate ◽

Police Stress ◽

Intervention Effectiveness ◽

Psychological Debriefing

Download Full-text

Activity learning and learning activity: Discussions of a concept, and an outline for an empirical study.

PsycEXTRA Dataset ◽

10.1037/e412222004-001 ◽

1980 ◽

Author(s):

Ola Hallden

Keyword(s):

Empirical Study ◽

Learning Activity

Download Full-text

An Empirical Study of the Relationship Between Situation Awareness and Decision Making

PsycEXTRA Dataset ◽

10.1037/e424442005-001 ◽

2005 ◽

Author(s):

Melinda Stanners ◽

Han Tin French

Keyword(s):

Decision Making ◽

Empirical Study ◽

Situation Awareness ◽

The Relationship

Download Full-text

Belief states: A preliminary empirical study.

PsycEXTRA Dataset ◽

10.1037/e466442004-001 ◽

1965 ◽

Author(s):

Thornton B. Roby

Keyword(s):

Empirical Study ◽

Download Full-text

Belief states: A preliminary empirical study

PsycEXTRA Dataset ◽

10.1037/e517382009-001 ◽

2013 ◽

Author(s):

Thornton B. Roby

Keyword(s):

Empirical Study ◽

Download Full-text

Nonstandard Work From a Person-Environment Fit Perspective: An Empirical Study

PsycEXTRA Dataset ◽

10.1037/e518332013-474 ◽

2012 ◽

Author(s):

Kang Yang Trevor Yu

Keyword(s):

Empirical Study ◽

Nonstandard Work ◽

Person Environment Fit

Download Full-text