Could anyone suggest me an interesting and hot topic in "Formal Specification"?

More Reza Ahmadi's questions See All

Gromacs first step of minimization ?

I have face this problem anyone help me how to solve this issue ?which is below Fatal error: There are inconsistent shifts over periodic boundaries in a molecule type consisting of 78 atoms. The...

07 August 2024 2,598 1 View

Can I multiplex a mouse monoclonal and rat primary for IHC (mouse brain tissue)?

Hi all, I was just wondering if anyone has experience with multiplexing a mouse monoclonal primary and a rat primary. I'm trying to multiplex by incubating them in the same well but was told by a...

06 August 2024 9,710 1 View

How can I find access to heavy metal reference doses from the EPA and WHO websites?

Reference dose and Maximum acceptable concentrations HMs

03 August 2024 8,230 4 View

If the emission of all greenhouse gases is stopped now, will the temperature of the earth continue to rise?

Here's a serious question: If we were to stop emitting all greenhouse gases right now, would the Earth's temperature start to cool down, or would the existing greenhouse gases continue to warm the...

30 July 2024 5,123 4 View

How can I quantify MDEA (N-Methyldiethanolamine) with a GC-FID?

I have a mixture of glycol, water, MDEA, and piperazine. I want to analyze it with GC-FID.

15 July 2024 9,652 3 View

How can I quantify MDEA (N-Methyldiethanolamine) with a GC-FID?

I have a mixture of glycol, water, MDEA, and piperazine which I want to analyze with GC.

15 July 2024 2,181 10 View

Please inform me about the International Conference on Plant Biology?

Please inform me about the International Conference on Plant Molecular Biology, or Plant Biology, scheduled for December 2024, January/February, or March 2025.

14 July 2024 3,120 7 View

Is there any standard format or protocol for plant photo-plate creation?

need to know protocol for photoplate creation, styles, etc

11 July 2024 8,321 2 View

Unification of General Relativity and Quantum Mechanics is possible ?

How can anyone develop a theoretical framework that successfully unifies general relativity and quantum mechanics? how this new theory should accurately describe gravitational interactions at...

10 July 2024 5,040 8 View

Radial Basis Functions Based Differential Quadrature Method for One Dimensional Heat Equation "required matlab code" and provide code in discription?

I am able to submit the code documents. Although my graph is 1, I would like to be in the 6E-05 graph range. Please, someone correct the error.

08 July 2024 5,770 0 View

What are the long-term impacts of incarceration on youths' developing brain?

I want to explore the long-term effects of incarceration on a youth's developing brain. I also want to explore research that looks critically at incarceration and punitive measures as the primary...

12 August 2024 862 0 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

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

What should Berlin do as a city to become as impactful as London and Paris in World Football?

Please go through my Abstract. I can also share a proposed Thesis Outline.

04 August 2024 2,077 0 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

What are the roles of innovation in achieving the Sustainable Development Goals (SDG)?

31 July 2024 3,533 2 View

Pierre Yves Schobbens

I suggest software product line specification and verification -- but there are many others.

Reza Ahmadi

Pierre: Thanks for the answer. Then if you want to narrow down that area, product line specification and verification, then which specific issue/topic you would suggest to investigate?

Thank you all for the answers. Very good points. Personally, after some thoughts, I would like to mix Formal Specification with MDA or generally MDD. I mean, a Formal Model Driven approach. That is what I am thinking more to now and need a new narrow interesting idea as the area is too wide.

Perhaps it is better to ask this in a new reformed question.

siva sankar rao Kotha

Just check it Enterprise Application Integration(EAI) by using formal verification.