Can you suggest some good books on Formal Methods in Software Engineering?

More Muhammad Imran Babar's questions See All

Need endorsement on arxiv repository. Can any one endorse?

Hi, I want to upload my papers on arxiv repository. For this I need the help of someone who may endorse me. Please help me in this matter. Regards

05 June 2019 634 1 View

What is the way to index all manuscript of a journal in Google Scholar?

I am running a journal named Journal of Software Engineering & Intelligent Systems. Only few manuscripts of the journal are appearing in google scholar and remaining are not visible. What I...

04 May 2019 3,738 1 View

Which statistical tests can be applied to qualitative data?

I have some percentages and scattered themes in qualitative data. Hence, which statistical methodology will be better to categorise the qualitative data?

05 June 2014 4,868 19 View

Which one is the best website for datasets? I need a dataset related to Iris image.

Iris Image

02 March 2014 5,030 10 View

Geotechnical Engineering (Proceedings of the ICE) time review?

Hello everyone, I recently submitted an article to Geotechnical Engineering (Proceedings of the ICE), and the current status has been listed as "EiC Pre-assessment: Ready" for the past 20 days. I...

10 August 2024 6,493 1 View

GC-MS retention index prediticon?

Hello experts, Does anyone know any free software about retention index prediction ?

08 August 2024 7,403 2 View

If we are using snowball sampling technique, how do we justify the true representativeness of the sample statistically? is there any statistical test?

Are there any statistical methods to justify your sampling technique using SPSS or AMOS?

05 August 2024 9,153 4 View

Do you know any references for analyzing stochastic fiber orientaion composites ?

Hello everyone I am looking for one or some books for propertes and behaviors of stochastic fibre orientation composites. unfotunately I could not find any suitable reference for thias by...

04 August 2024 3,461 3 View

What are possible strategies can be used to analyze data under sequential explanatory mixed method approach?

Better ways to analyze the qualitative and quantitative data in a sequential explanatory mixed method approaches

04 August 2024 2,703 6 View

Can anyone provide me with molecular docking softwares/ websites?

Molecular docking software/ websites?

02 August 2024 8,704 7 View

Are current regulations effective in preventing cancer caused by toxins?

I am currently researching the impact of environmental toxins on children's health and would greatly appreciate insights from experts in the field. If you are an expert or researcher working on...

02 August 2024 4,474 2 View

Why 3 replicates for most biological assays? Is it enough to examine the data fits normal distribution?

Just bounced on me. Before statistically analysing significant difference, shouldn't we see if data fits normal distribution first? Is 3 replicates enough to testify the hypothesis of normal...

31 July 2024 8,141 13 View

Request for Advice: Starch Metabolism Research Project?

I am currently considering a research project focusing on a comparative analysis of starch metabolism in orchids and roses. I am particularly interested in identifying the types and quantities of...

30 July 2024 4,267 2 View

What should a Mechanical Engineering PhD scholar focus on during their PhD to enhance their chances of securing a postdoctoral position?

29 July 2024 7,714 4 View