1001 Freelance Projects -- B-Method Formal Specification Expert Needed

Latest Projects from Freelance Marketplaces

Today is: 15-Mar-2026 14:41 GMT

View this project in detail (Note: you will be redirected to external marketplace)
Project title:	B-Method Formal Specification Expert Needed
Posted by:	External project from Freelancer
Started:	07-Dec-2024 16:56 GMT
Description:	I'm working on a project using the B-Method for formal specification of a software system, and I need help from a professional who is adept with ProB software. Key Requirements: - Expertise in B-Method, particularly in formal specification... (Budget: $10 - $30 USD, Jobs: Software Architecture, Software Development, Software Engineering, Software Testing)
Project ID:	3411586
Project category:	Software Architecture, Software Development, Software Engineering, Software Testing
Project budget:	$10 - $30 USD
View this project in detail (Note: you will be redirected to external marketplace)

Project	Started
Gene Translation & Excel Search Category: Data Entry, Data Management, Data Processing, Excel, Excel Macros, Excel VBA, Technical Writing, Visual Basic Budget: $30 - $250 CAD	15-Mar-2026 11:03 GMT
Canva Social Scheduler Support Category: Canva, Content Creation, Content Strategy, Facebook Marketing, Graphic Design, Instagram Marketing, Social Media Management, Social Media Marketing, Social Networking, Visual Design Budget: €6 - €12 EUR	15-Mar-2026 11:03 GMT
Pot Sales Web App Category: Angular, AngularJS, Frontend Development, Git, GitHub, Java, JavaScript, PostgreSQL, Spring Boot, Web Development Budget: $30 - $250 USD	15-Mar-2026 11:03 GMT
Telegram Message Forwarding Bot Category: API Development, Automation, Bot Development, JavaScript, PHP, Python, Software Architecture, Telegram API Budget: $10 - $70 USD	15-Mar-2026 11:03 GMT
Enhance Python PDF-to-CSV Extractor Category: Data Extraction, Data Processing, Pandas, PDF, PHP, Python, Software Architecture, Web Scraping Budget: ₹600 - ₹1500 INR	15-Mar-2026 11:01 GMT
AI Model for Trend Prediction with 90% Accuracy Category: C++, Programming, Data Processing, Machine Learning (ML), Python, Software Architecture Budget: $50 - $100 USD	15-Mar-2026 11:01 GMT
Personalized Career Skill Enhancement Plan Category: Personal Development, Project Management, Time Management, Training Development Budget: ₹400 - ₹750 INR	15-Mar-2026 11:01 GMT
Tour guide company (Prague) Logo Category: Adobe Illustrator, Photoshop, Branding, Graphic Design, Illustration, Logo Design, Vector Design Budget: €30 - €250 EUR	15-Mar-2026 11:01 GMT
Establish Secure API Connection Category: Android, API, API Development, API Integration, MySQL, PHP, RESTful API, Software Architecture Budget: ₹12500 - ₹37500 INR	15-Mar-2026 11:00 GMT
Wooden Workshop Addition Category: Architecture, AutoCAD, Building Architecture, Building Design, Building Engineering, Civil Engineering, Construction, Construction Engineering, Construction Management, Structural Engineering Budget: $750 - $1500 USD	15-Mar-2026 11:00 GMT
Professional Website Development Category: Graphic Design, HTML, PHP, Web Design, WordPress Budget: $400 - $800 USD	15-Mar-2026 10:59 GMT
HP Teacher Maths Mock Tests -- 2 Category: Calculus, Content Writing, Education & Tutoring, Excel, Geometry, Mathematics, Matlab And Mathematica, Statistics Budget: ₹600 - ₹1500 INR	15-Mar-2026 10:57 GMT
Remote Actor Bookkeeping Training - 15/03/2026 06:43 EDT Category: Accounting, Bookkeeping, Data Entry, Excel, Finance, Financial Analysis, Financial Consulting, Tax Management Consulting, Tax Reporting, Training Budget: $15 - $25 USD	15-Mar-2026 10:56 GMT
Article Writer Category: Article Rewriting, Article Writing, Blog Writing, Content Writing, Copywriting, Editing, Ghostwriting, Proofreading, Research, SEO Writing Budget: ₹12500 - ₹37500 INR	15-Mar-2026 10:56 GMT
Corporate Portfolio Website Build Category: CMS, CSS, Graphic Design, HTML, PHP, SEO, Web Design, Web Development Budget: ₹600 - ₹1500 INR	15-Mar-2026 10:56 GMT

Browse All Projects

Projects by Skills ...
Projects for 'android' Projects for 'ajax' Projects for 'asp' Projects for 'aspnet' Projects for 'cms' Projects for 'cpp' Projects for 'csharp' Projects for 'css' Projects for 'delphi' Projects for 'design' Projects for 'drupal'	Projects for 'excel' Projects for 'facebook' Projects for 'flash' Projects for 'html' Projects for 'java' Projects for 'javascript' Projects for 'joomla' Projects for 'iphone' Projects for 'mysql' Projects for 'photoshop' Projects for 'php' Projects for 'python'	Projects for 'ruby' Projects for 'seo' Projects for 'sql' Projects for 'sysadm' Projects for 'translate' Projects for 'typing' Projects for 'twitter' Projects for 'vbnet' Projects for 'xml' Projects for 'wordpress' Projects for 'writing'
Read RSS feeds ... New!
RSS feed for 'android' RSS feed for 'ajax' RSS feed for 'asp' RSS feed for 'aspnet' RSS feed for 'cms' RSS feed for 'cpp' RSS feed for 'csharp' RSS feed for 'css' RSS feed for 'delphi' RSS feed for 'design' RSS feed for 'drupal'	RSS feed for 'excel' RSS feed for 'facebook' RSS feed for 'flash' RSS feed for 'html' RSS feed for 'java' RSS feed for 'javascript' RSS feed for 'joomla' RSS feed for 'iphone' RSS feed for 'mysql' RSS feed for 'photoshop' RSS feed for 'php' RSS feed for 'python'	RSS feed for 'ruby' RSS feed for 'seo' RSS feed for 'sql' RSS feed for 'sysadm' RSS feed for 'translate' RSS feed for 'typing' RSS feed for 'twitter' RSS feed for 'vbnet' RSS feed for 'xml' RSS feed for 'wordpress' RSS feed for 'writing'

New!
Проекты на русском (Projects in Russian)	Long URL: www.1001freelanceprojects.com	Mobile version: m.1001fp.com